playground configuration
we should move more propeties in the config.json file like:
- playground logo/icon
- tutorial link
- path to https key and certificate (if not set, user plain http)
- eu-login url (if not set, use dev-login)
so at the end we no longer need https_app.py