Update Z3 to latest release
- Version 4.7.1 has been released in May 2018
- AF3 currently ships nightly from November 2017 (pre 4.6.0)
- Integrate source jar for Java bindings to enable API documentation (not included into binary bundle)
(from redmine: issue id 3467, created on 2018-07-03, closed on 2018-07-11)