Accessibility improvements to the sequence navigation

I've slightly changed the way tabs behave. Most of the changes are adding aria-labels and aria-hidden to the tabs and associated links, so that screen readers will hopefully be able to know which tab content goes to which link.
@talbs @nedbat @cpennington