ci: add libz3-dev dependency to ubuntu

Author: fw-immunant

.github/workflows/ci.yml

@@ -77,6 +77,7 @@ jobs:
             librtmp-dev
             libssl-dev
             libtool
+            libz3-dev
             llvm
             llvm-dev
             luarocks