Integrated keyboard navigation and aria roles into menu navigation. There are still a few issues and TODOs, which I will go over in a separate comment. (Sorry, by force of habit I did a whitespace cleanup, which might make things harder to review...)