Improve JS search function: allow multiple terms
and parse URL so that pressing "enter" works.