More search usability improvements!
- Clean URLs: search/type/keywords e.g. "search/node/drupal release". The search form is POST submitted, but drupal_gotos to a GET page. This makes it easy to copy/paste search URLs, and makes the pager a lot cleaner. - Remember the search keywords when switching between the search tabs. This is done through the same GET URLs rather than the session, so it does not mess up between multiple browser tabs. - Report which keywords were ignored because they were too short. - #820: Provide search block - Treat multiple wildcards in a row as one