Support more real methods in the API (pi, sin, cos, exp)

[kfriedberger]

The newest version of MathSat5 supports directly solving mathematical functions like pi, sin, cos, exp. We should add nice methods for this into the API, maybe also with an option for falling back to UF-encoding for other solvers.