Added MiniSAT files
Updated reduceCNF.py to properly create CNF files
Updated the reduce script to run miniSAT