Tomato mushroom sauce gnocchi