use php-coveralls master version