0.9.5

This release modifes the Docker build and makes it self-contained, which fixes the various issues we have with passing special (-D) arguments to the scip-java tool.

Most of this distribution remains unchanged so users should not see any difference.

What's Changed

• External docker build by @keynmol in #637

Full Changelog: v0.9.4...v0.9.5