Upgrade to PHP_CodeCoverage 1.2.12
Prepare release