Upgrade to PHP_CodeCoverage 1.2.12
Prepare release
Fix issue reported as part of #958
Merge branch '3.7'