update pip tools due to pypa/pip#10726

Dockerfile

@@ -13,14 +13,17 @@ ENV PATH="$PATH_PYTHON3" VIRTUAL_ENV="$VIRTUAL_ENV_PYTHON3"
 # Install dependencies
 COPY --chown=kat:kat requirements.txt /tmp/install/requirements.txt
 RUN pip install --upgrade pip && \
+    pip install --upgrade pip-tools && \
     install_pinned.py -r /tmp/install/requirements.txt
 
+RUN pip install katversion
+
 # Install the current package
 COPY --chown=kat:kat . /tmp/install/katsdpcontimh
 WORKDIR /tmp/install/katsdpcontimh
 RUN python ./setup.py clean
 RUN pip install --no-deps .
-#RUN pip check
+RUN pip check
 
 #######################################################################