additional information in the documentation
add debug features in Makefile
Makefile : integrate some paths in variables
update to ocaml 4.00.1