Update to doxygen 1.8.5, remove doxytag.