Fix to CI script
Fixes to CI scripts
Improve CI scripts
Add make_docs to CI module
Add CI module, to collaborate with buildbot