chore: bump DRAWIO_VERSION from 31.3.1 to 31.4.2

[github-actions]

The Dockerfile is pinned to DRAWIO_VERSION=31.3.1, but jgraph/drawio-desktop has a newer release available.

Current version: 31.3.1
Latest version: 31.4.2
Upstream release: https://github.com/jgraph/drawio-desktop/releases/tag/v31.4.2
Dockerfile source: https://github.com/jgraph/drawio-desktop/releases

Update the Dockerfile version arg if the new upstream release is compatible.

---

dependency: jgraph/drawio-desktop
arg: DRAWIO_VERSION
from: 31.3.1
to: 31.4.2