fix typo for PIs
add file to gitignore
fix typo in ocamlot
tidy up opam tasks
add irminsule task