Interface with smt-lib and to parse smt-lib language

[bbeck13]

[JonoChadwell]

I have a very minimal implementation locally that parses in some smt-lib files and uses our decision diagram to check for satisfiability.

I will ask Nick about what our change process is / for permission when he gets home.

[avilanicolas]

You PR, I ship essentially