A tutorial introduction into the Nix package manager and Nixpkgs package collection