renaming and fix
reorganization, change makefile for OCamlMakefile, generate doc