Remove snf-pithos-tools from $PROJECTS
Small fix in ci script
Small fixes to ci scripts
Fix to CI script
Fixes to CI scripts
Improve CI scripts
Add make_docs to CI module
Add CI module, to collaborate with buildbot