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

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