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)