Add supports for bottom and a totality predicate
Adding dependency on QuickSpec 0.9!
Make Z3 to write used lemmas (use with -p Z)
Make lemmas readable by vampire
Refactor out the main loop
Fix bitrot :)
The universe need only contain representatives
Add gitignores to zeno and prod testsuite
Support some stuff from PartialEquationalReasoning
Try to prove totality of functions
Make list monad and nats examples partial
Fix warning messages

Conflicts:
	src/HipSpec.hs
	src/HipSpec/Init.hs
	src/HipSpec/Prelude.hs
	src/HipSpec/Trans/QSTerm.hs
	src/HipSpec/Trans/Theory.hs
Add a HipSpec Monad with an appropriate environment

Conflicts:
	src/HipSpec.hs
	src/HipSpec/Init.hs
	src/HipSpec/MainLoop.hs
	src/HipSpec/MakeInvocations.hs
Fix building on GHC 7.6.
Always rewrite files
Always rewrite files
Add an Origin, which could be a PEquation, Totality or something else
Print PEquations through QS
Fix a bug that made totality lemmas appear unproved
Abstract over the reasoning system used (part 1)