For for Python 3.x __eq__/__hash__.
For for Python 3.x __eq__/__hash__.

Fixes #377.

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