Rev'd SpecialK dependency
Merge branch 'cryptoRedo' of https://github.com/leithaus/GLoSEval into cryptoRedo

Conflicts:
	build.sbt
	pom.xml