Add support for boolector SMT solver

Fixes #60

Boolector only supports QF_BV and QF_ABV; it won both divisions in the
last competition, so it's well worth adding support for it in SBV.