hello-vertex, a vertx HelloWorld app