Added boolector SMT solver.