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 Job ID Name Coverage
  Build
passed #216289
docker
build_linux

00:13:39

passed #216290
macosx
build_macosx

00:17:02