Update search page navigation during docker build
The navigation file used by the search page is out of date.
This merge request automatically downloads the latest navigation from the earthquake-website when the container is built.
Edited by Jeremy M Fee