Release 0.3.5.1
need alloyIG.jar for cabal install
minisatproover instructions
installation instructions from Hackage
clarified README