travis ci: Use the latest version of Disco for builds.

This will let us catch the errors sooner.