Merge branch 'bob-devel' into 'master'

[bob-devel] downgrade mkl to prevent conflicts in mac builds

See merge request !453
2 jobs for master in 17 minutes and 2 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build_linux #216289
docker

00:13:39

passed build_macosx #216290
macosx

00:17:02