Add JavaScript-based ordering of navigation

This relies on a `order` attribute defined in the page front-matter.
Merge remote-tracking branch 'jdt/master' into gh-pages