patch applied (hackage-server): "Have the doc builder output detailed stats"

Wed Aug 14 11:49:54 BST 2013 Edsko de Vries * Have the doc builder output detailed stats Ignore-this: 4ecf855a10863e95f1dd50e5c32678ed M ./BuildClient.hs -12 +44