Improve build files.
We can now build boolector using lingeling in addition to minisat.