Merge remote-tracking branch 'origin/k-means' into ai

README.md

jastadd-mquat-base/src/main/jastadd/solution/Checking.jadd

...se/src/main/java/de/tudresden/inf/st/mquat/MainCheck.java

jastadd-mquat-benchmark/build.gradle

jastadd-mquat-solver-emfer/doc/EmferSolverTest.html

jastadd-mquat-solver-ilp/build.gradle

...en/inf/st/mquat/solving/clustering/HardwareComponent.java

.../de/tudresden/inf/st/mquat/solving/clustering/KMeans.java

...n/java/de/tudresden/inf/st/mquat/solving/ilp/ILPMain.java