Enhancements to pa_goal:

 - Include the goal name, source file location in the generated
   rule so we can improve error messages.

 - Implement some sort of tracing based on the above.