Braised Short Ribs with Gnocchi