Change entrypoint of Docker app to /bin/bash within virtualenv

Container will not stop automatically anymore but expose its own shell
to the user.

docker/dorie.dockerfile

@@ -7,6 +7,7 @@ ARG PROCNUM=1
 ARG CC=gcc
 ARG CXX=g++
 
+# build DORiE
 WORKDIR /opt/dune
 ADD . /opt/dune/dorie/
 RUN CMAKE_FLAGS="-DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=${CC} -DCMAKE_CXX_COMPILER=${CXX} -DDUNE_PYTHON_VIRTUALENV_SETUP=True -DDUNE_PYTHON_ALLOW_GET_PIP=True" \
@@ -15,6 +16,9 @@ RUN CMAKE_FLAGS="-DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=${CC} -DCMAKE_CXX
         ./dune-common/bin/dunecontrol --only=dorie make dorie-rfg dorie \
     && ./dune-common/bin/dunecontrol --only=dorie exec \
         "rm build-cmake/dune/dorie/impl/libdorie-impl.a build-cmake/dune/dorie/impl/CMakeFiles/dorie-impl.dir/*.cc.o"
-ENV PATH="/opt/dune/dorie/build-cmake/bin:${PATH}"
+
+# move to working directory
 WORKDIR /sim
-ENTRYPOINT ["/opt/dune/dorie/build-cmake/bin/dorie"]
\ No newline at end of file
+
+# run bash in the virtualenv (this actually creates two bash instances...)
+ENTRYPOINT ["/opt/dune/dune-common/build-cmake/run-in-dune-env", "/bin/bash"]
\ No newline at end of file