Merge branch 'refinement'
o introduced some automatic simplification of expressions (true ∧ x ≡
x, etc)
o added the axiom concerning the set of all the values of a given type
backups
Changed the line count output. It's now more accurate because it uses the data structures of Git to list the sources. It also lists the 5 biggest files
Refactored the refinement rule to make it easy to add and remove individual rules
added a generic implementation of refinement rule parsing
removed dead code for the rule parser.
o Removed dead code.
o added code to record and check the refinement order
Added the possibility for a machine to refine another.
Fixed the test suite
added a continuous testing program