Allow parsing of both SMTLIB 2 and 1 formats.
Reduce the size of boolector.js by removing code from parse_string.
Also slightly improved the makefile to not re-download files.