Gnocchi With Mushrooms, Vegetarian