Add placeholder to search input

This is especially important if we keep the search box in the header
on narrow displays, since the logo won't have the name
"Floodlight" in it.

Addresses #774.
Show search box in narrow header.

Addresses #774