add dependency, refactor, update z3str binary
Merge branch 'master' of https://github.com/timfel/babelsberg-js

Conflicts:
	z3/StrZ3.js