Beef-Ragu-and-Gnocchi