Bump pygments from 2.19.2 to 2.20.0 in /pykwasm#752

dependabot[bot] wants to merge 1 commit intomasterruntimeverification/wasm-semantics:masterfrom

dependabot/uv/pykwasm/pygments-2.20.0runtimeverification/wasm-semantics:dependabot/uv/pykwasm/pygments-2.20.0Copy head branch name to clipboard