move fix thanks a file, update top level html links, rename CONTRIBUTING.md

The fix thank you's have been moved from `README.md` to
`thanks-for-fixes.md`.

**WARNING**: Some mistakes may have been made in doing this.
We presume later changes by others will correct any issues.

The `CONTRIBUTING.md` was renamed `how-to-enter.md`.

A 3rd line of links was added to top level html such as
`contact.html`, `index.html`, `judges.html`, `winners.html`,
and `years.html`.

Improved blank line use in a number (but not all) `README.md` files.

2012/tromp/README.md

@@ -4,6 +4,7 @@ John Tromp
 <john.tromp@gmail.com>  
 <http://tromp.github.io/>  
 
+
 ## To build:
 
 ```sh
@@ -12,6 +13,7 @@ make all		# On a 64-bit machine (default)
 make tromp32		# On a 32-bit machine
 ```
 
+
 ## To run:
 
 ```sh
@@ -20,6 +22,7 @@ make tromp32		# On a 32-bit machine
 
 Use `./tromp32` as you would `./tromp` if on a 32-bit machine.
 
+
 ## To run:
 
 ```sh
@@ -27,6 +30,7 @@ cat ascii-prog.blc data | ./tromp -b
 cat binary-prog.Blc data | ./tromp
 ```
 
+
 ## Try:
 
 ```sh
@@ -35,11 +39,12 @@ cat binary-prog.Blc data | ./tromp
 cat primes.blc | ./tromp -b | ./primes.pl
 ```
 
-### Selected Judges Remarks:
+## Judges' remarks:
 
 The judges dare to say that the data files this entry is processing
 are more obfuscated than the entry itself.
 
+
 ## Author's remarks:
 
 This program celebrates the close connection between obfuscation and conciseness,
@@ -527,6 +532,7 @@ A call-by-name lambda-calculus machine
 Higher Order Symbol. Comput. 20, 3 (September 2007), 199-207.
 <http://www.pps.univ-paris-diderot.fr/~krivine/articles/lazymach.pdf>
 
+
 ## Copyright and CC BY-SA 4.0 License:
 
 This file is Copyright (c) 2023 by Landon Curt Noll.  All Rights Reserved.