Gnocchi with Wild Mushrooms and Thyme