Prototype of tree checking
Merge branch 'master' into tree-check

Conflicts:
	src/kMST_ILP.cpp
fixed typo
Merge branch 'master' into tree-check

Conflicts:
	src/kMST_ILP.cpp
Finished output