Fix Travis config to avoid publishing PRs