ExternalProject: add LOG_PATCH option to log the patch command
Most steps support the logging into a file but the patch command is a notable exception. This commit adds the LOG_PATCH options that acts as the other LOG_* options.
Topic-rename: ExternalProject-log-patch