discv5: NAT hole punch theory

[emhane]

Theory behind nat hole punching

• [x] nat hole punching under the hood
• [x] motivation for design choices

[fjl]

Closing because this text is contained in https://github.com/ethereum/devp2p/pull/231 as well.