Remove internal ids

[puehringer]

Remove internal ids and all mechanisms regarding internal id-mapping, including the redis dependency.

• Remove redis from requirements.txt, docker-compose*.yml, redis_mapping_table, ...
• Remove all mapToName, unmap, ... functions as no internal ids are available anymore.
• Remove Range as it was only used for selections utilizing internal ids.
• ...

How to migrate repos:

• In your workspace, switch all repos to the remove_internal_ids branch if it exists.
• Run npm run compile:<reponame> to check if any errors occur.
• Fix all errors (contact @puehringer if any questions arise).
• Commit all changes to a new remove_internal_ids branch and create a draft PR.