[noise] Noise Explorer and rev34

[Trevor Perrin]

Hi Noise Explorer team,

I linked Noise Explorer from the wiki.

https://github.com/noiseprotocol/noise_wiki/wiki

I also checked that it matches the rev34 spec, aside from some small
points below.

To align with the upcoming rev34, it would be great to get these tweaks:
 - IK seems to be missing?
 - X1N analysis appears to be truncated (missing final "tokenless" messages)?
 - We've renamed the properties to "Source" and "Destination" instead
of "Authentication" and "Confidentiality", probably this is better?
 - I still think the "4" source property is redundant with "2", since
what differentiates them is captured in the destination properties.

Trevor