Secure CDash server

Today we enabled https on our CDash server. Please use the new entry point

instead of the old one

All acces to the insecure http port will be automatically forwarded to the secure https port. Also access via old links should be automatically done correct. If you encounter any problems with the new setup, please let us know, since it is possible that we missed some issues even after testing the setup.