Finish Network.Kontiki.Types documentation.
* Finished documenting messages as per the paper.
* Added sections and anchors to hopefully improve readability.
* Fixed module header into correct, parseable form.
* Reordered the definitions to match the export list.
* Changed the formatting slightly (and comment style to -- |)
  to match what I see in general in documentation of
  projects like cabal.