Speed up CI by using docker image for benchexec tests
This PR adds a dockerfile and CI job to build the docker image for speeding up the execution of the benchexec tests.
Closes #1.
Edited by Sven Umbricht
This PR adds a dockerfile and CI job to build the docker image for speeding up the execution of the benchexec tests.
Closes #1.