Merge branch 'theo-cli' of gitlab.idiap.ch:bob/bob.measure into theo-cli

4 jobs for theo-cli in 33 minutes and 35 seconds (queued for 5 seconds)