Search automatically when user pauses

This makes it so that the search box will search when the user pauses for more than 500ms. It isn't perfectly consistent with the main search box, but I think it will do the trick.

reviewer: @p-march
issue: #89