isabelle: build with z3 4.4.0
isabelle: build with z3 4.4.0

Isabelle uses Z3 in a non-forwards-compatible manner, as it needs to
consume the proof objects Z3 produces. Building Isabelle with newer Z3
causes errors when trying to build a session that depends on
HOL-Library. Try

$ isabelle jedit -l HOL-Library

Fixes #99399.

NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs