Green sauce gnocchi