Options appeared several times in --help output.
Lots of exciting new stuff
Remove old minisat stuff.
Make popen return output even on error.
Update cabal file for Hackage.