Issue #34 : CI scripts documented