Updated the INSTALL documentation. Changed build to always build javadoc and examples, and copy their results to dist.