re added doc files in order to have generated docu available in github.
Going to improve docu generator not to touch files that are not changed.