Ubuntu install_deps.sh script doesn't work on 25.04

[Timmmm]

Running this for the first time (in the verify-rust-std repo)...

./scripts/run-kani.sh --path . --kani-args --harness alloc::layout::verify::check_array_i32 --output-format=terse

gives

+ curl -L --remote-name https://github.com/diffblue/cbmc/releases/download/cbmc-6.7.1/ubuntu-25.04-cbmc-6.7.1-Linux.deb
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100     9  100     9    0     0     49      0 --:--:-- --:--:-- --:--:--    49
+ sudo dpkg -i ubuntu-25.04-cbmc-6.7.1-Linux.deb
dpkg-deb: error: unexpected end of file in archive magic version number in ubuntu-25.04-cbmc-6.7.1-Linux.deb

If you go that URL it is 404.

The issue is here - it just blindly puts the current version in the URL, but there is no Ubuntu 25.04 release.

The 24.04 one seems to work fine however.

[tautschnig]

Thank you, we need to adjust the mapping from OS version to setup scripts.