Mushroom ragu with potato gnocchi