irminsule -> irmin, regen OASIS
Adapt to new irmin
OASIS: -bin-annot, update .gitignore