documentation/*: add a SEARCH_FILENAME_PREFIX option.

documentation/*: add a SEARCH_FILENAME_PREFIX option.

Allows to override the search data filename, which is useful when both
Python and C++ documentation shares the same directory. Otherwise both
would use the same search data filename and overwrite each other's data.