Add CI jobs for rebuilding Docker images
Add CI jobs for rebuilding Docker images

These will not be executed by default,
only by a weekly scheduler entry on GitLab.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt