Herbed Gnocchi with Mushrooms