cmsatv56-walksat-chronobt:2019: no native gz, include cryptominisat5

[pauleve]

+ docker run --name satex32234 --rm -e TIMEOUT=10 -v /home/runner/work/docker-images/docker-images/tests:/data satex/cmsatv56-walksat-chronobt:2019 aim-200-1_6-yes1-1.cnf.gz
gz...#### cmsatv56-walksat-chronobt:2019 ####
+ cd /solvers/cmsatv56-walksat-chronobt
+ set +x
+ timeout 10 ./cryptominisat5_simple --sls=walksat --bva=1 /data/aim-200-1_6-yes1-1.cnf.gz
c using SLS: 'walksat'
PARSE ERROR! Unexpected char (dec: '�) At line 0 we expected a number
c CryptoMiniSat version 5.6.8
c CryptoMiniSat compiled with gcc version 8.3.0
c NOTE: this is a SIMPLIFIED executable. For the full experience, you need to compile/obtain/use the 'cryptominisat5' executable. To compile that, you need the boost libraries. Please read the README.
ERROR Solver failed with return code 255