use Travis' new Docker platform

This is a pretty clear win, even though caching turned out to be a dud, for now at least.