Fixing building under OS X
Fixing building under OS X

Previous method is_osx_hack didn't exist, possibly wasn't cleaned up. This
change has been tested and Z3 compiles successfully within a 2.7 virtualenv
running on OS X 10.10.5.

kyledewey/z3,seahorn/z3,mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3,seahorn/z3,seahorn/z3,seahorn/z3,seahorn/z3,mschlaipfer/z3,mschlaipfer/z3