Merge pull request #1532 from GaloisInc/sort_docversions

Add sorting to version/PR on generated documents index.

.github/gen_html_context.py

@@ -9,8 +9,8 @@
 bldtgt = lambda n: os.path.join('/', sys.argv[1].split('/')[1], n, 'RefMan.html')
 
 html_context={'current_version': sys.argv[2],
-              'versions':[(v, bldtgt(v)) for v in d if not v.startswith('PR_')],
-              'pull_reqs':[(v, bldtgt(v)) for v in d if v.startswith('PR_')]}
+              'versions':sorted([(v, bldtgt(v)) for v in d if not v.startswith('PR_')]),
+              'pull_reqs':sorted([(v, bldtgt(v)) for v in d if v.startswith('PR_')])}
 
 if not os.path.isdir('_templates'):
     # Older versions of the repo do not have this file present as it was only