Add php-coveralls dev dependency