Server and website setup

In the past, we hosted all our websites ourselves. Nowadays, we host most websites using github pages, preventing maintenance. Some websites are still hosted by ourselves because of a SSO-requirement. These describes the previous setup and are not yet updated to the new github pages setup