Finished updating the search system so that it handles the new file format, implements the new quick-search function directly from the site menu, and displays something readable (in the grey.css theme at least).

The idea of the new quick-search is that, in addition to having a link to "Recherche" on the menu, which takes you to the search page, there's also a little text box right on the menu. You can type into that text box and press return, and you'll be taken to the search page, then the page will use that text for a basic search operation immediately. It passes the search via the url string. This also enables bookmarking of simple searches, which might be handy. Because the main search uses AJAX, it's hard to bookmark a complex search.