add highlight.js for doxygen