Removed unused import
Use correct define for x86-64 and only import functions from windows.h when building on Windows.
Merge branch 'master' of github.com:ekmett/ersatz
SAT: Add missing space to Show instance
Add run(Q)SAT, (q)dimacs(Q)SAT to assist in ghci and testing