Now use rules/test017.prova. Change README.md, add del-vertx-lib.sh