Baked gnocchi