add php-coveralls settings