Pork Tenderloin with Herb Sauce