Embed a vertx repo containing the SDK and the io.vertx.ceylon module