Vertx Builder API + remove cluster manager from VertxOptions

[vietj]

• Vertx has an internal builder API that is used by the launcher
• VertxOptions exposes services like the cluster manager, the metrics instance, the tracer instance which are not suited for options, since options should focus on configuration data

This PR provides a VertxBuilder API that can be used to override the the vertx services exposed in VertxOptions, VertxOptions related services have been removed.

// Before
Future<Vertx> fut = Vertx.clusteredVertx(new VertxOptions().setClusterManager(clusterManager));

// After
Future<Vertx> fut = Vertx.builder().withClusterManager(clusterManager).buildClustered();

This should be back-ported to 4.x branches.