Introduce documentation about nixpkgs and flakes at RV#14

juliankuners wants to merge 1 commit into

masterruntimeverification/rv-nix-tools:masterfrom

nixpkgs-flakes-docsruntimeverification/rv-nix-tools:nixpkgs-flakes-docsCopy head branch name to clipboard