Possible speedups (#15)

* Update to Fedora 41 with dnf5

This should be faster, see
https://fedoraproject.org/wiki/Changes/ReplaceDnfWithDnf5

> Significantly faster for many user cases
> Optimization of download metadata

Fedora 41 is currently still in beta, but if this causes trouble, we can always revert.

Related to #8

* Disable extra repository with a multimedia codec

The repository is enabled by default but we don't need it.
By explicitly disabling it, we prevent unnecessary metadata fetch.

Related to #8

devcontainer/Dockerfile

@@ -1,4 +1,4 @@
-FROM docker.io/library/fedora:40
+FROM docker.io/library/fedora:41
 
 ENV CC=clang
 
@@ -9,8 +9,8 @@ ENV WASMTIME_HOME=/opt/wasmtime
 ENV WASMTIME_VERSION=22.0.0
 ENV WASMTIME_CPU_ARCH=x86_64
 
-RUN dnf -y --nodocs --setopt=install_weak_deps=False install /usr/bin/{blurb,clang,curl,git,ln,tar,xz} 'dnf-command(builddep)' && \
-    dnf -y --nodocs --setopt=install_weak_deps=False builddep python3 && \
+RUN dnf -y --nodocs --setopt=install_weak_deps=False --disablerepo=fedora-cisco-openh264 install /usr/bin/{blurb,clang,curl,git,ln,tar,xz} 'dnf5-command(builddep)' && \
+    dnf -y --nodocs --setopt=install_weak_deps=False --disablerepo=fedora-cisco-openh264 builddep python3 && \
     dnf -y clean all
 
 RUN mkdir ${WASI_SDK_PATH} && \