Expose FormulaAST from C++ to Python

[eguiraud]

• make it possible to construct a _core.Formula directly from a JSONObject
• expose methods and data members as needed via pybind11

This is so that Python tools based on correctionlib can use correctionlib's Formula to parse an expression and then recover the corresponding AST.