Partition navigation by protocol version

This adds a protocol version select box at the top of the page, and
changes the "Specification" tab's sidebar to display links for the
selected protocol version only.

Author: jonathanhefner