Nix [1] is purely functional package manager allowing to easily
install dependencies in a reproducible manner.

The expression is mostly taken from Coq [2] verbatim.

[1]: https://nixos.org/nix/
[2]: https://gitlab.com/coq/coq/blob/master/default.nix

Update links, add meson build instructions and convert to Markdown.