Order of documentation entries in navigation panel

[daanboer]

The documentation pages are automatically generated from the markdown files in the docs folder. Additionally, the headers in these documents are automatically extracted to construct the navigation pane. The responsible function is extractMarkdownHeaders, found in the <app/src/docs/generator.ts> module. However, at the moment, the order in which the files are loaded is not controlled, and the navigation entries are scrambled. We need to think of a method to indicate the order in which the navigation links are presented. For example, the filenames could be prepended with an integer value.