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.