doxygen_single_file: utility to build doxygen for one file

Building all doxygen docs takes a long time,
while this will miss inter-file references, it's useful to check basic
formatting is correct.