Merge branch 'miniconda-proxy' into 'master'

Use local proxy

See merge request !125
5 jobs for master in 6 minutes and 59 seconds (queued for 3 seconds)