doc: some corrections: - added missing `tls_private_key` value in configuration sample - added a label for `installation` - removed useless repetition of "Salut à Toi" in overview title - changed text for jp and primitivus documentations links - use a better may to indicate keyboard shortcuts in Primitivus

# XXX: the Monkey Patch is here and not in src/__init__ to avoir issues with pyjamas compilation
# TODO: remove this when changes are merged in Wokkel
from sat_tmp.wokkel import install
install()