ExternalProject: Clarify documented role of `INSTALL_DIR`

It does not actually configure the project to install to the given
location.  That must be done by passing the `<INSTALL_DIR>` placeholder
to the external project configuration step.