Merge branch '50-ci-docker' into 'dev'

CI Docker, Python >= 3.7

See merge request !31
3 jobs for dev in 1 minute and 2 seconds
latest