Further CI configuration for Coveralls integration