[Doc] Add search box to Doxygen documentation
[Doc] Add search box to Doxygen documentation

This also fixes a bug where jquery.js was not being copied to the directory with
the generated documentation on some operating systems (Debian-based Linux
distributions).

git-svn-id: e76dbe14710aecee1ad27675521492cea2578c83@3345 02a645c2-efd0-11dd-984d-ab748d24aa7e

Cantera/cantera-svn,Cantera/cantera-svn,Cantera/cantera-svn,Cantera/cantera-svn,Cantera/cantera-svn,Cantera/cantera-svn