Added a bunch of example dimacs files
Merge branch 'master' of github.com:ekmett/ersatz
Moved examples to the data directory and exposed them as data-files
Explicitly enumerate the data files to work around cabal's broken non-greedy globbing.
Started a reading list
/k/-SAT
papers: Add papers related to optimization