switch to boolector; so much faster
remove and ignore generated file lex.cpp
Merge branch 'boolector'

Conflicts:
	.gitignore