Corrected version of README.md
Merge branch 'master' of https://github.com/MikaelMayer/ScalaZ3

Conflicts:
	README.md