Quick gnocchi with tomato sauce