Add CodeCoverage to CircleCI: reverted changes for c3.php