TravisCI: more test coverage