Don't mention cabal-dev

Few people use cabal-dev nowadays, they use modern cabal sandboxes.
cabal-dev should still work, but there are no tests to ensure that it does.