Merge branch 'feature-s/3610-gpg-keyserver' into 'dev'

Dockerfile: use other key server

Closes #3610

See merge request !348
1 job for test_docker in 6 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Test Tools
passed #200115
test_tools

00:00:06