disable doxygen search engine as it is currently useless and not easily fixed

address #477