Updated just the gradle.properties file to use vertx.1.3.1.final

Ok course, I have done zero testing since I haven't updated my own code to 1.3.1.final. But it appeared to be the only place that would need to change to go to 1.3.1

I don't think there is any api changes that would affect this from working.

Mark