javadoc fixes
build changes
- 'maintainer' target (outputs help)
- 'release' target (build, sign, checksum, and update site (if configured))
- rename 'dist' to 'singlejar'
- jar-cli: compile cli (doesn't require swt)
- new Integer -> Integer.valueOf; ditto Long
- HTMLStyleBuilder generics and finals
- PageRenderer generics
add margins on PageRenderer
icon and button tweaks for consistency