doxygen: Add validate/do_doxygen

The do_doxygen script can generate the doxygen output for an arbitrary
subtree of the RTEMS source tree.