Add instructions for generating and pushing javadoc.

@markmcd 
Actually, should we put a version in the publication path, so we can host multiple versions?