Support Doxygen installed in system path

If doxygen.exe is not found in bin\win32\dev\, a copy of doxygen.exe in the path will be used. The change is compatible with the original build environment.