Interface Arb II

Use `Arb` to do numerical evaluations in CSymPy. See issue #166.
We need to improve how we handle constants in sympy. The `pi` in sympy should be a Constant, not a Symbol. Perhaps Constant can be a subclass of Symbol or something like that. Comparing the string of the symbol is too fragile.