cvc5: move override into package.nix, modernize#485691

MattSturgeon merged 1 commit intoNixOS:masterNixOS/nixpkgs:masterfrom

qweered:cvc5-move-overridesqweered/nixpkgs:cvc5-move-overridesCopy head branch name to clipboard