Use rcmd branch

Author: MaartenS11

benchmarks/Dockerfile

@@ -3,7 +3,7 @@ RUN apt update
 RUN apt install build-essential cmake libz3-dev git python3 -y
 WORKDIR /app
 RUN git config --global url."https://github.com/".insteadOf git@github.com:
-RUN git clone --recursive https://github.com/TOPLLab/MIO.git -b verder
+RUN git clone --recursive https://github.com/TOPLLab/MIO.git -b rcmd
 WORKDIR /app/MIO
 RUN ./gradlew setup
 WORKDIR /app/MIO/benchmarks