- Update to version 4.7.1+git.20180614:
* fix memory leak in relation_manager, use for loops
* fix #1665
* remove trial with mfsr flag
* enable non-expression bodies of quantifiers to fix #1667
* fix bugs exposed by Nuno's PB example
* z3.py: add overflow checks to PB API
* gcc mode
* int64_t
* deal with shift exponent error
* deal with shift exponent error
* try flags to fix gcc build
* int64_t
* try new gcd
* add set operations to python request by Francois
* fix #1662
* fix #1661
* fix memory leak from Arie
* fix ml build breakd #1659, #1660
* fix #1655
* fix #1653
* remove stale file
* clean up python build files
* fix #1650 fix #1648
* fix #1647
* remove interp from documentation
* Set the SONAME field of libz3.so to libz3.so.
* remove interpolation from test_capi
* remove interpolation from test_capi
* deprecating interp