Updated README.md and vertx.properties to 1.8.0-SNAPSHOT