Add github action to automatically publish Github pages

[joergreichert]

• switch development to branch develop
• make branch main protected
• merge request develop -> main (maybe with preview)
• merge to main executes gh-pages publish