Get the current lastest CMS when building

Dockerfile

diff --git a/Dockerfile b/Dockerfile
index a9dcb0d..530a3df 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -26,7 +26,7 @@
 
 # Build CMS
 WORKDIR /cms
-RUN wget -O cryptominisat.tgz https://github.com/msoos/cryptominisat/archive/5.8.0.tar.gz \
+RUN wget -O cryptominisat.tgz https://github.com/msoos/cryptominisat/archive/5.11.21.tar.gz \
  && tar xvf cryptominisat.tgz --strip-components 1 \
  && mkdir build && cd build \
  && cmake .. \