CI scripts for DBXTalk Jenkins (ci.inria.fr/dbxtalk/)