Potato gnocchi with tomato sauce