Update javadoc profile and script to use new vertigo-docs repository.