A script for deploying Javadoc