Mobile menus

Mobile friendly navigation, mostly targeted at students. `menu.js` was recycled for the new navigation, as the old code seems to be unused.
Can we take this out? I'm not sure why we'd want to disable touch scrolling.