ci: remove Fedora 40 and add Fedora 42

Tommaso Pecorellarequested to merge
tommypec/ns-3-dev:ci-fedora into master

Fedora 40 was EOL since 2025-05-13

Fedora 41 will be EOL around the end of November 2026.

Merge request reports