Merge branch '182-build-pipelines-use-gitlab-ci-cache' into 'develop'

Resolve "Build pipelines: use Gitlab CI cache"

Closes #182

See merge request !188
6 jobs for develop in 81 minutes and 41 seconds (queued for 32 minutes and 51 seconds)
latest
Status Job ID Name Coverage
  Dist
passed dist #1088306

00:55:09

 
  Check
passed check #1088309

00:14:39

passed deb #1088317

00:16:21

passed mingw #1088312

00:21:47

 
  Manual
passed pages #1088321

00:04:44

 
  Deploy
passed pages:deploy

00:00:01