Update the "redox" doxygen/DOCDOC postprocessing script

Somewhere along the line, doxygen and tor changed their behavior a
little. The script is still a dreadful kludge, but now at least it
sorta works again.