Potato gnocchi with mushroom sauce