add task runScript
Merge branch 'master' of https://github.com/davidpeklak/smt

Conflicts:
	src/main/scala/smt/Handling.scala
	src/main/scala/smt/SMTImpl.scala
synchronize freaking MessageDigest