Added Z3-str tests and travis support for OTP 17.1