Pork Tenderloin with Rosemary Pesto