javadoc search enhancements

[Hannes Wallnoefer]

I’ve been working on various enhancements for the javadoc search feature for the past weeks and am looking for feedback.

The enhancements are:

 - Less strict search: Allowing the search query to consist of multiple space-separated tokens that can match anywhere in the indexed elements whithout the need to include verbatim delimiters such as `.` or `(`

 - A standalone search page as an addition/alternative to the existing in-page popup search

 - The ability to link to search queries, including use of the search page as a browser-configurable keyword search engine

All these are explained in detail in the demo search page (click on „About this page“ to expand) along with exampes, instructions and links to the respective JBS issues. 

The demo page is availble here:  http://cr.openjdk.java.net/~hannesw/javadoc-search-page/api.05/search.html

Looking forward to your feedback!

Hannes