Pork Tenderloin with Lentils