Grilled Pork Tenderloin with Avocado Green Sauce