Forgot to comment out debug message. Fixing.
A nicer list of llvm sanitization options
Casting to long int for subtraction from long int
We don't need boost for the regular library

Only the main.cpp for program options
Merge branch 'master' of github.com:msoos/cryptominisat