Merge branch 'gitlab-ci-mix-lock' into 'develop'

Cache GitLab CI based on mix.lock

See merge request !3398
19 jobs for develop in 9 minutes and 44 seconds (queued for 13 seconds)