now that we're on cabal, update installation documentation