chore(deps): bump nixpkgs from `8c3cede` to `8c91a71` #9

Job	Run time
Detect relevant changes	7s
Idris2 type-check (core + all cartridge ABIs)	-1s
Trusted-base audit (no new axioms)	-1s
	5s

Provide feedback