Z3: Update to version 4.8.4
In particular, also the win32 library should be checked (although we no longer officially support this platform)
(from redmine: issue id 3675, created on 2019-03-12, closed on 2019-05-02)
- Relations:
- relates #3674 (closed)