Inconsistent documentation for compiling Daikon locally

[jyoo980]

The instructions to install Daikon from a tar file here mention that to compile Daikon locally, the user must satisfy the requirements in the Daikon manual.

The compilation requirements state that required dependencies are listed in:

$DAIKONDIR/scripts/Dockerfile-OSNAME-jdkN-plus

However, these scripts are not distributed with the tar file; only in the actual source code repository, which is not where the user is likely to have read the original instructions.