Give automatic focus to the header search box on page load

This pull request modifies the header search bar so that the text input box automatically has focus on initial page load. 

This admittedly minor change nonetheless improves overall usability by eliminating the need to first click inside the search box before typing a query (inspired by #561). Since there are no other text input elements on the UI, there's little chance that this change will cause contention.