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

3 jobs for master in 14 minutes and 27 seconds (queued for 3 seconds)