Bug box on `setup_ide` subcommand

[treiher]

The new setup_ide subcommand always leads to a bug box for me:

------------------------------ RecordFlux Bug ------------------------------
RecordFlux 0.6.1.dev12+g4f634652c
RecordFlux-parser 0.12.0
pydantic 1.10.2
pydotplus 2.0.2
icontract 2.6.2
z3-solver 4.11.2.0
ruamel.yaml 0.17.21
attrs 21.4.0

Optimized: True

Command: /home/reiher/Componolit/RecordFlux/.venv/bin/rflx setup_ide

Traceback (most recent call last):
  File "/home/reiher/Componolit/RecordFlux/.venv/lib/python3.9/site-packages/pkg_resources/__init__.py", line 344, in get_provider
    module = sys.modules[moduleOrReq]
KeyError: 'ide'

During handling of the above exception, another exception occurred:

Traceback (most recent call last):
  File "/home/reiher/Componolit/RecordFlux/rflx/cli.py", line 224, in main
    args.func(args)
  File "/home/reiher/Componolit/RecordFlux/rflx/cli.py", line 411, in setup
    gnatstudio_dir = resource_filename("ide", "gnatstudio/")
  File "/home/reiher/Componolit/RecordFlux/.venv/lib/python3.9/site-packages/pkg_resources/__init__.py", line 1130, in resource_filename
    return get_provider(package_or_requirement).get_resource_filename(
  File "/home/reiher/Componolit/RecordFlux/.venv/lib/python3.9/site-packages/pkg_resources/__init__.py", line 346, in get_provider
    __import__(moduleOrReq)
ModuleNotFoundError: No module named 'ide'

----------------------------------------------------------------------------

[treiher]

I think we should fix that in version 0.7.