Marini, Girolamo Maria, 1801-1867, librettist