Rudimental timing of debug sections.
Remove the two inactive solvers for the time being
More fine-grained timing.
Forgot to kill old code.
Use criterion for more precise measurement.
Rip timing functions from criterion.
Remove .ghci file

It's getting harder and harder to maintain -- now we have a .c
file to compile and link.  Use `cabal repl`.
Do Debug/Conf/Timing with GLOBAL VARIABLES

Yessir
Forgot to move agda prelude
Simpler pretty printing
Handle function definitions better.
Big refactor

Mostly two things

* Now meta-variables definitions/instantiations are treated like normal
  definitions.  This is preparing to solve issue #5.

* No qualified Telescope/Context/Substitution, everything is in
  Term.Types.  This simplifies matter greatly, I got really sick of the
  module hell in that space.
Forgot to implement `toScope`
Committing minor changes to allow for merge with master
Merge branch 'master' of https://github.com/bitonic/tog
Merge branch 'master' into alteredimplicits

Conflicts:
	src/Term/Context.hs
	src/Term/FreeVars.hs
	src/Term/Impl/Common.hs
	src/Term/Subst/Utils.hs
	src/Term/Testing.hs
	src/Term/Types.hs
	src/TypeCheck3/Common.hs
	src/TypeCheck3/Elaborate.hs
Updated dependency on either to 4.3.2 (to support Data.Either.Validation)
Updated readme to reflect refactoring
Term.Subst is an internal module.
Set up infrastructure for contextual clauses.