Reformat and synchronize Nock 5K spec

This commit makes minor formatting changes to the Nock 5K spec: it (1)
removes some trailing whitespace characters and (2) reorders the
reduction lines so that the rules for each operation are contiguous.

This commit also updates some copies of the spec: in the spec
directories under hub and urb, and also in the comments of two copies of
hoon.hoon.

At this point, the 5K spec gzips to 371 bytes.
Merge pull request #28 from ab9/nock_pedantry

Reformat and synchronize Nock 5K spec