format headers

We move `tmp/format-headers.sh` into `bin/format-headers.sh`.

We also add a few missing empty lines to `README.md`.

We add `bin/format-headers.sh` to the `bin/README.md`.

We run `bin/format-headers.sh` to perform the above.

Performed `make www` to accomplish the above and to test under macOS.

1984/laman/README.md

@@ -14,7 +14,6 @@ The current status of this entry is:
 For more detailed information see [1984/laman in bugs.html](../../bugs.html#1984_laman).
 
 
-
 ## To use:
 
 ``` <!---sh-->