fix #5, fix #6: add a script to release javadoc etc.