travis-ci: Use disco 0.4.5 for now.