DocId vector instances, getting things working on 7.8

unrolled GND'd instances for CountingMap in DownloadCount.State

Tests passed, fixed REPL specific type errors due to monomorphism restriction as well as type errors relating to GND breakage.
the updated travis file looks good. Its basically the awesome @hvr  one adjusted for the quirks of building hackage server