Header menu component

This needs to take a data feed of menu options (design API first!) and produce a suitable menu display depending on whether it's mobile or desktop. Given previous discussions, it also needs to be possible to 'bookmark' the user's current point in the menu, and maybe even give the use a choice to have the menu open in a side-panel (discuss with designers).