Roasted Pork Tenderloin and Cornichon Salad