* Parameterize strings that mention Travis
This is so that the script can be shared with
GitHub Actions while we make the transition.
* Add GitHub Actions workflow
More or less a direct translation of .travis.yml
* Rename scripts that mention travis
* Fix typo
