Dockerfile: Use 'michel' tree and branch

Dockerfile

@@ -20,7 +20,9 @@ RUN mkdir -p /var/www/console/htdocs/tle && cd /var/www/console/htdocs/tle && wg
 RUN cd /root && git clone git://git.code.sf.net/p/libnova/libnova libnova-libnova
 RUN cd /root/libnova-libnova && git checkout 655bcd1 && libtoolize && autoreconf -i && ./configure && make install
 
-RUN cd /root && git clone https://gitlab.camras.nl/dijkema/dt_ctrl
+RUN cd /root && git clone https://gitlab.camras.nl/michel/dt_ctrl
+
+RUN cd /root/dt_ctrl && git checkout michel
 
 RUN cd /root/dt_ctrl && autoconf && ./configure --with-libwebsockets=/usr && make
 RUN cd /root/dt_ctrl && make console/console/console_httpd