tell Z3 that string constants are all distinct

with Radu
removed internal distribution of Z3 in favour of an install script
listed Z3 as a dependency in the README