Use path specified in DOXYGEN environment variable, if set.

The MakeDocumentation.sh script expected doxygen to be installed in the Applications folder, but on some systems doxygen will be installed elsewhere. This modification makes it possible to generate the documentation using a different path for doxygen by setting the DOXYGEN environment variable before invoking the MakeDocumentation.sh script.