First release of the library (v 0.1)

Fully functional implementation with:

• the ability to handle strict inequalities over rationals
• heavy debug mode to check a range of invariants:
  • before / after assuming bounds on variables
  • before / after assuming bounds on polynomials
  • after each solving step.
• incremental and backtrackable capabilities
• production of unsat-cores when unsatisfiable (and solutions when satisfiable)

Currently, linear optimization is not supported.