travis-ci: more debugging info.