documentation tweaks + cabal file added