Add search box in top bar

In order for users to easily issue a new origin search request when browsing the archive content, a search box should always be available (except for pages already containing one) in the GUI.

Adding that search box in the right part of the top bar seems the most common way nowadays.

See this proposed design as a reference.

---

Migrated from T2319 (view on Phabricator)