Remove pre-release and old versions from the online documentation

Removed the v0.5.0 and pre-release versions of v0.6.0 from the menu in the published documetation.
This will direct users to more recent stable relese versions, and help keep the size of the
"Production" branch of atomvm_www below the 1 GB limit for GitHub Pages branches.

Note: the directories for these old version will be removed from the atomvm_www Production branch
in a PR in that repo, these changes just prvent them from being incuded in the navigation menu.

Signed-off-by: Winford <winford@object.stream>

Author: UncleGrumpy

doc/conf.py.in

@@ -60,6 +60,7 @@ extensions = [
     'sphinx.ext.graphviz'
 ]
 
+graphviz_output_format = 'svg'
 
 suppress_warnings = [
     'epub.unknown_project_files',
@@ -91,8 +92,6 @@ source_suffix = {
 
 # -- Sphinx Extension configuration ---------------------------------------------------
 
-graphviz_output_format = 'svg'
-
 # Breathe configuration
 breathe_projects = { "libatomvm": "@CMAKE_CURRENT_BINARY_DIR@/xml/" }
 breathe_default_project = "libatomvm"
@@ -170,9 +169,11 @@ tag_list = sorted(repo.tags, key=lambda t: t.commit.committed_datetime)
 latest_tag = tag_list[-1]
 versions = list()
 release_list = list()
+omit_tag_list = [ 'v0.6.0-alpha.0', 'v0.6.0-alpha.1', 'v0.6.0-alpha.2', 'v0.6.0-beta.0', 'v0.6.0-beta.1', 'v0.6.0-rc.0' ]
 for tag in tag_list:
-    versions.append(tag.name)
-    release_list.append(tag.name)
+    if tag.name not in omit_tag_list:
+        versions.append(tag.name)
+        release_list.append(tag.name)
 
 omit_branch_list = [ 'release-0.5' ]
 branch_list = sorted(repo.branches, key=lambda t: t.commit.committed_datetime)