MSC3814: Document new dehydrated device format (probably just a concatenation of the various bits of information needed, similar to existing pickle format)

Currently, the dehydrated device is just a libolm-style pickle, and contains several unnecessary fields (some of which wouldn't make sense for other implementations). The MSC already has comments on these fields.