deleted:    lib/ci-mangos.py
modified:   mangos-ci-install.py
lib/mlib
new file:   lib/mlib