Some difficulties with travis-ci due to z3 unavailable in maven central