gnocchi with peas & wild mushrooms