Gazzoletti, Antonio, 1813-1866, librettist