Minor patch release

• expr will now prefer to use the system-installed z3 library if available
• Updates to dependencies

Full Changelog: v3.0.4...v3.0.5