fixed sk-strings generation to take into account sk-strings whose length is less than k but end in an accepting state.
Merge origin/master

Conflicts:
	lib/cz-cuni-mff-ksi-jinfer-base.jar
	lib/cz-cuni-mff-ksi-jinfer-twostep.jar