Верди Джузеппе (музыка), Бойто Арриго (либретто)