Tooling

The merge was slightly acrobatic. :D

I will add more stuff later.

I'm not sure where to put this library: http://ocaml-safepass.forge.ocamlcore.org/.
And the index has to be changed too.