Sauce for gnocchi