Install `typing_extensions` if needed#98

aphedges merged 5 commits intoSHADE-AI:mainSHADE-AI/daidepp:mainfrom

aphedges:install-typing_extensionsaphedges/daidepp:install-typing_extensionsCopy head branch name to clipboard