update vertx version
add files for travis-ci