Clean up Ant build targets

This commit updates the names of the Ant build targets to have a more uniform
naming convention. It also adds dist-release, which does what dist used to do,
it renames dist-nodoc to dist, and it makes dist the default.
Update INSTALL file with better documentation
Merge branch '4.3'