Add methods to compute Convex Division
Try to solve merging issues
Merge https://github.com/kbertet/java-lattices

Conflicts:
	.gitignore
	doc/tutorial/tutorial_conceptlattice.md
Correct .gitignore
Merge pull request #133 from JeanFrancoisViaud/master

Add methods to compute Convex Division