Added php-coveralls to dev.