added pcov and gmp#22

valentinomariotto wants to merge 1 commit intojtreminio:masterjtreminio/php-docker:masterfrom

valentinomariotto:extensionsvalentinomariotto/php-docker:extensionsCopy head branch name to clipboard