Integrate Hackage checks in cabal check

[ffaf1]

Hackage server performs a number of checks upon upload before accepting the package.

Some of those checks are meaningful only if done by hackage (e.g. Check for an existing x-revision on server, we cannot run that locally in a meaningful way), but others could be integrated into cabal check. Steps:

• list all the checks done
• see which one can be translated into cabal check
• integrate them

For this to be useful #8427 needs to be merged and #8587 too, so users can ignore can ignore some of the checks if they don’t plan to upload to Hackage (i.e.: proprietary license refusal).