Reflection utilities

* Added Eq and Show instances for TT and its dependencies
* Added minor functions for tactic script construction
* Added utility functions copied from the Idris compiler for working with TT
  terms
Formatting improvements
Merge pull request #297 from david-christiansen/proofutils

Reflection utilities