IBS friendly barbecued pork tenderloin