We don't have an INSTALL file any more
update cabal documentation a bit