Gnocchi with Mushrooms and Butter