threadscope: allow building with GHC 7.8.3, and on recent OS X
macvim: Update sha256
coq_HEAD: update to latest commit