Update nix flake inputs structure and add `rv-nix-tools` to a new dependency update workflow#134

automergerpr-permission-manager[bot] merged 2 commits intomasterruntimeverification/kup:masterfrom

update-deps-rv-nix-toolsruntimeverification/kup:update-deps-rv-nix-toolsCopy head branch name to clipboard