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

3 jobs for master in 12 minutes and 12 seconds