dist: remove unused gdbinit-docker script

[crasbe]

Contribution description

I found this little gem while procrastinating. It does not appear to be used by anything or that it ever has been used by anything. It was added in #2392, so waaaaaay back and the last update was 8 years ago.

Testing procedure

Zero references on master:

buechse@skyleaf:~/RIOTstuff/riot-vanillaschote/RIOT$ grep -RnwIi gdbinit-docker

Issues/PRs references

None.

Declaration of AI-Tools / LLMs usage:

AI-Tools / LLMs that were used are:

• none

[riot-ci]

Murdock results

✔️ PASSED

88643d4 dist: remove unused gdbinit-docker script

Success	Failures	Total	Runtime
1	0	1	01m:25s

Artifacts

• Documentation preview

[maribu]

That could actually have users: You could include that from your ~/.gdbinit.

Modern GCC and clang allow to rewrite diagnostic paths, so we actually could turn all absolute paths into paths relative to the RIOT repo root. Then it wouldn't matter if an elf is built with docker or without and this script would be obsolete.

[crasbe]

But does it actually still work for our docket container? And does anyone use it when there's no documentation at all?

[maribu]

It is only telling gdb to look up source files that the debug info says is in /data/riotbuild where the actual repo is. That shouldn't be affected by changes in the docker container other than changes to the mount paths.