Merge branch 'master' of gitlab.idiap.ch:bob/bob.ip.stereo

7 jobs for master in 22 minutes and 26 seconds (queued for 4 seconds)