travis-ci: Explicitely install disco library.