Gnocchi di patate e verdure gratinate