message: print qemu's manual
diff: @@ -20,6 +20,7 @@ script:
  - debuild -e PATH -e CFLAGS_FOR_TARGET -e GOFLAGS_FOR_TARGET -e FCFLAGS_FOR_TARGET -e FFLAGS_FOR_TARGET -e CXXFLAGS_FOR_TARGET -us -uc -j2
  - sudo dpkg -i ../libhermit*_amd64.deb
  - make -j2 examples
  + - qemu-system-x86_64 -help
  - if [ "$TRAVIS_BRANCH" != "master" ]; then make test; fi
  deploy:
  