A small update fixing some small issues, added benchmarking code
Merge branch 'master' of https://github.com/aburnett88/Haskell-SAT
RESOLVED. Used new one
Conflicts:
	README.md