Also, we no longer need to write the version number to .travis.yml, because
we can infer it from the travis tag. We couldn't do that before, because it's
a bit of code we don't want to repeat in every repo. Now that it's common, we
can write it and download it into each repo's build.
Also, we no longer need to write the version number to .travis.yml, because we can infer it from the travis tag. We couldn't do that before, because it's a bit of code we don't want to repeat in every repo. Now that it's common, we can write it and download it into each repo's build.
This change is