indatus.github.io source

Mixture source for the indatus.github.io site. Run the indatus-github-io-html-split.sh script in the build folder after changes are made (and static html is generated in the converted-html folder) to have them pushed to the indatus.github.io repo and subsequently published to the indatus.github.io site.