Update zeno and prod test suites
Prepare precision/recall test
Remove silly things from --auto sigs

The problem is that --extra and --extra-trans looks at everything in
scope, but not with which string it is in scope (only the Name).
This should be corrected.
Add the examples in the cade article
Make frontend more up to date
Add --pvars, --quick-check-size, --tests and --size
Only prune away exactly definitions in the explored theory
Fix an export error in SigMap
Fix uniqueCartesian
New fancy representatives with the call graph
Update test suite
Compability fix with 7.6 in MakeSig
Always add user-stated lemmas to the background theory.
Insertion sort!
Add results on 33-35
Add Zeno's results on PUoF

Conflicts:
	testsuite/frontend/app.coffee
	testsuite/frontend/js/app.js
Maybe fix the induction on... variable names from QuickSpec
Merge branch 'testsuite' of github.com:danr/hipspec into testsuite
Add the results on the Precision/Recall analysis
Add zeno's results on PUoF in the frontend, and make links clickable