Galleria Mazzini, ecco il piano di interventi: il Comune stanzia 2,5 milioni