one pot gnocchi