put repos.txt in the right place and clarified usage of platform_lib
Merge branch 'master' of https://github.com/vert-x/vertx-gradle-template