Merge pull request #132 from jad-hamza/cvc4-1.8

Minor fixes for CVC4 1.8

Using a sane type system

Version 1.0.2 sets up for git hashed versions

Version 1.0.1

Version 1.0 of Inox.

Subsumes solving capabilities of Leon 3.0.