Link to other machines for single-machine results page

E.g. https://intel-gfx-ci.01.org/tree/drm-tip/fi-icl-u2.html

Let's make the machine name in the top navigation bar a dropdown list that shows all the hosts.

As requested in #8 (closed)