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
Cleaning up old code
Merge pull request #30 from cdcarter/master

Cleaning up old code
Rename tool to nock.
Merge branch 'master' of github.com:urbit/urbit
removing old Nock specs
Add Zimran Ahmed as ~wyl.
List Colin Smith in zune
Merge pull request #31 from ab9/colinize

List Colin Smith (~sun) in zune
Don't track non-zod paths in Git
Merge pull request #32 from ab9/gitignore_nonzod

Don't track non-zod paths in Git
Git-ignore specific directories, not names
Remove run directory from .gitignore

We now use the bin directory.
Update README
Merge pull request #34 from ab9/update_readme

Update README
Add Zimran Ahmed as ~wyl.
Merge branch 'master' of github.com:urbit/urbit
Merge remote-tracking branch 'upstread/master'
remove a potentially misleading comment from all.h that might try and convince someone to delete all of the headers from f/. this is, of course, unadvised.