new config mechanism
README and other stuff
updated flags to be compatible with boolector-2.0.1
added stp and cryptominisat as submodules
updated .gitmodules
fixed submodule issues
added .gitignore
README updated
README
README
merged devel