Cython module

Add Cython-based Python module to access the exact solver library. The module wraps the C API in a pythonic interface based on the Cython extension types. Numeric values are automatically converted from Python int/rationals to the GnuMP rational type that the library uses, and the result is converted back to Python int/rationals without loss of precision.