Merge branch 'feature/binder' into develop

Makefile

@@ -206,7 +206,8 @@ release:
 	sed -i'' -e "s/\"version\": \"\(.*\)\"/\"version\": \"$$version\"/" biocham_jupyter/guinbextension/package.json && \
 	sed -i'' -e "s/__version__ = '\(.*\)'/__version__ = '$$version'/" biocham_jupyter/kernel/biocham_kernel/__init__.py && \
 	sed -i'' -e "s+^<h1>version.*</h1>+<h1>version $$version $(shell LC_ALL=C date '+%B %Y')</h1>+" web/index.html && \
-	git commit about.pl biocham_jupyter/guinbextension/package.json biocham_jupyter/kernel/biocham_kernel/__init__.py web/index.html -m "Version $$version" && \
+	set -i'' -e "s/:v.*$/:v$$version" binder/Dockerfile && \
+	git commit about.pl biocham_jupyter/guinbextension/package.json biocham_jupyter/kernel/biocham_kernel/__init__.py web/index.html binder/Dockerfile -m "Version $$version" && \
 	git flow release finish "$$version" && \
 	git push --tags
 

binder/Dockerfile

+FROM registry.gitlab.inria.fr/lifeware/biocham:v4.3.11