travis CI: make VERBOSE=1