Boolector: Support the new output format

Boolector v2.0.0 changed its output format. Modify our own parser to
accommodate.