Update nix flake inputs structure and add dependency update workflow for rv-nix-tools#4109

automergerpr-permission-manager[bot] merged 4 commits into

masterruntimeverification/haskell-backend:masterfrom

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