update README.md and cabal file