Initial commit of MiniSAT-C.
Merge branch 'master' of https://github.com/sstewart2012/MiniSAT-C