Merge branch 'master' into develop

CMakeLists.txt

container/Dockerfile

container/Singularity

doc/conf.py.in

doc/html/_sources/changelog.rst.txt

doc/html/_sources/modelling/algorithms.rst.txt

doc/html/_sources/modelling/model_checking.rst.txt

doc/html/_static/documentation_options.js

doc/html/actions/index.html

doc/html/actions/index_dev.html

doc/html/buildsystem.html

doc/html/changelog.html

doc/html/cmake/index.html

doc/html/container/docker.html

doc/html/container/index.html

doc/html/container/singularity.html

doc/html/contributing.html

doc/html/core/geometry.html

doc/html/core/graph_minimizer.html

doc/html/core/helper.html