In the "How To Build" section of the Jenkins CI config page, we had a copy

paste typo saying that the configuration listed here will replace the contents

of the GitHub repository's travis.yml file. It seems that Jenkins doesn't

actually use configuration files in a repository, things just get configured

in GitHub settings and Jenkins settings. So this change updates the wording

for that.

Ran my devserver and looked at the Jenkins CI config page.
Also checked for this typo in Circle CI's config page.