travis-ci: more verbose build to debug.