Potato Gnocchi with Mushrooms