Add install instructions for *nix*-doom-emacs that use emacsPackagesOverlay

[emeinhardt]

Per this zulip thread on nix-specific papercuts in packaging lean4-mode for (doom-)emacs.

I've erred on the side of being verbose; plausibly lines 52-69 are really all that's needed in the code snippet.