Merge branch 'putvein_db_hldi' of gitlab.idiap.ch:bob/bob.bio.vein into putvein_db_hldi

12 jobs for putvein_db_hldi in 17 minutes and 8 seconds (queued for 9 seconds)