Simplifier, unroll bound, MapMerge for z3 maps, error reporting, sbt and java versions

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

Minor fixes for CVC4 1.8

Inox 1.1.0

• General improvements to Inox stability
• Removed subtyping in the type system to improve soundness of first-class function handling
• Added powerful simplifiers and tree transformers to improve performance on complex formulas
• Improved and clarified purity and termination assumptions/requirements