Add quick navigation box for Agents

Add a "quick navigation" search box in the header.  Typing `/` autoselects it.