separate Hs-source-dirs of executables into different directories
update README.md
move src/BenchmarkSATLIB.hs to benchmarks/BenchmarkSATLIB.hs