add mizar repository (embedded version)
Merge branch 'master' of https://git.ias.u-psud.fr/hballans/sitools-idoc
version 2
validate2
validate
New directory for szcluster-db instance
first readme