Rework JavaScript API so that vertx is a global that is always available.

This means you don't have to have `load('vertx.js')` in your javascript,
because vertx is loaded by `DynJSVerticleFactory` when the app is
deployed. The underlying `org.vertx.java.core.Vertx` object is available
in JavaScript code as `vertx.__vertx`.