Moving MiniSat and CryptoMiniSat to their respecitve directories

This meant fixing some #include paths, fixing some switch statements,
updating CMakeLists.txt files, etc. These systems can now hopefully be
included as GIT subprojects, which should make it easier to keep track
with upstream.