Gnocchi with braaised pork and artichokes