Update dependency: deps/nixpkgs#17

rv-jenkins wants to merge 4 commits into

masterruntimeverification/rv-nix-tools:masterfrom

_update-deps-cron/nixpkgsruntimeverification/rv-nix-tools:_update-deps-cron/nixpkgsCopy head branch name to clipboard