Merge branch 'master' of https://github.com/fcatools/conexp-ng.git

Conflicts:
	src/main/java/fcatools/conexpng/gui/lattice/LatticeGraphView.java
	src/main/java/fcatools/conexpng/model/FormalContext.java