skip building boolector given --with-smtlib
MIT license

Add instructions for choosing solvers under the MIT license.