Mushroom gnocchi