travis-ci: produce shorter logs and be more specific about build steps