Enable more doxygen features (include JS search engine) and one doxygen ...

...annotation fix