Pork Osso Buco with Gnocci

braised pork shank with a hearty brown sauce with tender gnocci