Remove hard-coded tool name in RunDoxygen.sh (buildtools, 9b4238b)

Replace hard-coded tool name in RunDoxygen.sh with special shell variable, bringing it in line with with the other scripts in the buildtools do.

Signed-off-by: Greg Hurrell <greg@hurrell.net>