.travis.yml: small change to trigger a build after push