Updating cabal and other documentation for publication