Added Python runtime

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