Mustardy Pork Tenderloin With Caramelised Onions