Factor out all scripts under .github/scripts into an own easily reusable repository

[jesper-friis]

Make a new repository with tools for publishing

• inferred ontology
• the ontology in a few common formats (rdf/xml, turtle, ...)
• generated documentation (html, pdf)

for each release.

This should be easy to use on both github and gitlab supporting GitHub Pages, GitLab Pages, +++ as targets.