Merge pull request batfish#3 from batfish/ari-upgrade-for-ite

Upgrade to enable ite as doc precondition

- update OSX build matrix
- re-add debug tests for linux
- update build matrix flags based on upstream changes
- better OSX documentation

Merge pull request batfish#1 from batfish/ari-travis

Modifications for batfish (READY FOR REVIEW)

Merge branch 'master' of https://github.com/z3prover/z3

Official release Z3 4.6.0

Official release Z3 4.5.0

Official release Z3 4.4.1

Last known pure (Microsoft-only) source in the unstable branch.

Last known pure (Microsoft-only) source in the pure branch.

Official release binary Z3 4.4.0 (Windows x86 and x64).

Z3 4.3.2