Renaming elimination strategy config variable
Only sort red clauses if we are going to lock something
Removing defOfOrgate
No need for OpenMP -- we'll use C++11 threads
Cleaning up CMake, making stats default, fixing mysql check
Making the enum into enum class allows the names to be lower-case

Much easier to read, better type-safety