Gnocchi with mushroom sauce