update lein-vertx to 0.3.1