Python 3 compat for z3.py; patch by Sarah Winkler
Python 3 compat for z3.py; patch by Sarah Winkler

Signed-off-by: Nuno Lopes <cb3a713351b386ac31772a65bfacab0d57451a15@microsoft.com>

conceptofproof/z3,conceptofproof/z3,mschlaipfer/z3,conceptofproof/z3,seahorn/z3,mschlaipfer/z3,kyledewey/z3,jirislaby/z3,wujunzero/z3,wujunzero/z3,jirislaby/z3,seahorn/z3,mschlaipfer/z3,mschlaipfer/z3,kyledewey/z3,jirislaby/z3,wujunzero/z3,jirislaby/z3,mschlaipfer/z3,kyledewey/z3,conceptofproof/z3,wujunzero/z3,jirislaby/z3,wujunzero/z3,wujunzero/z3,seahorn/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3,conceptofproof/z3,conceptofproof/z3,seahorn/z3,kyledewey/z3,jirislaby/z3,kyledewey/z3,seahorn/z3