Pork Tenderloin With Gnocchi