Gnocchi With Mushroom Sauce