Fixes #65 - Add portal-vertx module