Add Debian 13 as supported distro and add installation instructions

[ralf401]

[ralf401]

Turned out that we should use the new toolchain for Debian 13 which is currently not yet implemented on our side (see comment). Postponing this issue until this is ready.