[CMake] Added option DOCS_GENERATE_LOGFILE to redirect Doxygen output.

This should fix crashes on Jenkins caused by long console log and
Doxygen warnings parser. See
https://issues.jenkins-ci.org/browse/JENKINS-7178