doxygen: enable SEARCHENGINE

The JS-based search engine is enabled for the doxygen documentation on the web site. This change also enables it by default for local builds of documentation.