Rebuild API javadoc for v1.0.2.
Improve javadoc build

Use Sync instead of Copy to make sure the old files are deleted.

Update gradle command-line in CONTRIBUTING with version switches. This way
it's possible to build the API javadoc targeting arbitrary version (e.g. 1.1.0
at the time we are building 1.1.0-SNAPSHOT).