More travis-ci tweaks, adding coveralls support