Looking up ocamllib dir
Improved the trie structure
Cmis are now loaded lazily, which gives instant startup
Switching from read-loop to cmdliner interface
Printing using Format

we are bound to it anyway because of Prittyp (unless we want to recode a printer...)
Added Makefile
Added an ocp-build project file