An introduction to functional package management with GNU Guix