Guyslain: update institution
Merge branch 'master' of https://github.com/aspiwack/fulltrees
Guyslain: correcting complexity inequation with size of list items.
README for the sources.
.gitignore: more ocaml stuff (native compilation).