WIP: Removes unnecessary key/value pairs from protocol.

Removes most of the redundancy from the dimension dictionaries, adds
an undistributed dist type, fills in some more constraints, etc.
Dedent bullet-lists.
Wrap to 72 chars.
Split up formatting of Trilinos Map data structure.
Trim trailing whitespace.
Adds tw=72 to vim statusline at bottom.