Travis-CI.org is toast

[tisdall]

Travis-CI has decided to pull the plug on the travis-ci.org services and require transitioning over to their ".com" service. However, there seems to be some issues around the transition. The "shutdown" was scheduled for Dec 31, 2020, so any future PRs may never actually run tests.