Write repo spec

[edsko]

This should document:

• Repository layout -- See RepoLayout and co
• Order in which files are to be changed and updated
• Which proxy hints should be provided (esp for 'dumb' file mirrors)
• Specification of the index tarball (for instance, see preferred versions update for cabal-helper doesn't show up in repository commercialhaskell/all-cabal-files#8).