update php-coveralls