README.md

Z3-str2 is not actively maintained anymore.

Please see https://sites.google.com/site/z3strsolver/ for z3str3 and latest versions.