Fix tmp/format-headers.sh, format headers

The script had "s surrounding the git ls-files command which turned it
to a single file which of course is wrong.

Ran script again fixing many README.md files that had incorrect number
of blank lines for critical headers.

This will have to be done a final but a good number of files have been
corrected.

2001/westley/README.md

@@ -22,8 +22,6 @@ STATUS: missing files - please provide them
 For more detailed information see [2001 westley in bugs.md](/bugs.md#2001-westley).
 
 
-
-
 ## To use:
 
 ```sh
@@ -35,6 +33,7 @@ echo foo | ./westley 2>/dev/null
 ./westley < westley.c 2>/dev/null
 ```
 
+
 ### Try:
 
 ```sh
@@ -73,7 +72,6 @@ This alternate code might be less portable.
 
 ### Alternate build:
 
-
 ```sh
 make alt
 ```
@@ -84,7 +82,6 @@ make alt
 Use `westley.alt` as you would `westley` above.
 
 
-
 ## Judges' remarks:
 
 Try copying the source to a new file and changing around the