Make ARG/CFA export in SVG gracefully handle missing awt libraries
If an internal Java error would occur because of missing X11 font support on the system, re-throw this as an IOException instead.
This makes CPAchecker function on headless Java installations like in our current Dockerfile.dev.