extend CPF
Merge branch 'pre-7.8'
exclude TPDB.Rainbow.Proof

because of incompatibilities with ghc-7.6.3