Manual2 search

Hi

Currently, the manual2 search is on position 2 in the search dropdown -
until the index is created and the search works.
The index needs to be re-created every day after manual compilation; the
script include/make-manual2-index.php has to be run. The index file is
"include/PhpGtkDoc/index.dat" and is language-independent (as titles and
filenames are indexed only [if you don't count tutorial titles]).