Release 2.0.0 for Coq 8.5

Large refactoring and interface changes:

• Code is now packaged under SMTC "namespace"
• Tactic changed to 'smt solve' rather than 'z3 solve'
• Options for selecting the backend smt solver.

v1.0.0 for Coq 8.5

Basic functionality specialized to handling real arithmetic.