Add an IR for BTOR2 to reduce the dependencies on the C parser

[obhalerao]

Modify the BTOR2 interpreter to use a new IR that does not depend on the BTOR2 parser written in C. I also added a suite of test BTOR2 programs to ensure that the interpreter remained correct with the new IR.