Travis escape?
Travis file fix.
Travis...
Modified intratrace Z3str test (now SAT).
Travis sed fixes...
Travis can't cope with colons...
traaaaviiissss
Travis can't cope with tmp files in /tmp... Oh well, at least this lets other people set their tmp dir if they so choose.
Travis permissions?
Lets try lunatic permissions...
Z3-str permissions test in script.
More tests in pre-build scripts.
Z3 permissions test.
Solver fix.
Solver actual fix.
Final travis fix??