Added initial Python runtime
Added CAD runtime

CAD stands for "Cylindrical Algebraic Decomposition" and allows us to
simplify complex symbolic inequalities. We currently use SAGE's QEPCAD.
Added class to handle symbolic expressions