gnocchi con zucchine e menta