Move VertxPlatform to channel.server

Change-Id: Ic17febfc74cec8dc2e170993de6a677b4d97fed3
修改一级搜索名称 在命令行下输入参数

Change-Id: Ib4732f509fc65fc212b171c0387e3736b2054ad1
Update vertx module settings