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

2 jobs for doc in 2 minutes (queued for 3 seconds)