Mushroom Gnocchi