Focus the search bar again with Ctrl+F (bgo#711381)

https://bugzilla.gnome.org/show_bug.cgi?id=711381

Focus the search bar again if the search bar is shown and Ctrl+F is
pressed, instead of having to press Ctrl+F twice to hide and show it
again for another search.