turns out that ghc763 chokes when trying to run the srcpos plugin, so don't enable it for <7.8
remove comment about custom language-c-quote
Merge branch 'master' into ivory-model-check