travis.yml and coveralls.yml tweaks