pkgs: Upgrade Isabelle