allow Cabal-1.18

Note that it can't actually build with Cabal-1.18 under GHC 7.6
because of the dependency on hint, which depends on the ghc package,
which currently only works with the Cabal bundled with GHC.
prettier progress output and error logging