Doc et makefile
Revert "Doc et makefile"

This reverts commit 4d9f83439a40e5415df8753b58e948bcd56c8812.
Merge branch 'master' of https://github.com/monstrencage/kleenelattices