Update to doxygen 1.8.5
Docs: Add option to generate tag file