Note: The issues we had with Travis CI failing for a day and a half appear to have been that the caches on Travis had become corrupted. The problems stopped when I manually cleared all the cached . If that needs to happen another time, I found it necessary to log into Travis as SmokeDetector, and delete all the caches on
this page.