Fix markdown, html files and Makefile

In particular the lists were mangled; I made sure that the html files
have the IOCCC headers/footers by using rdiscount to another file and
then yanking/pasting the generated lists in the one file into the target
files.

I also removed terminals.markdown which was a mistake I made when I sent
a patch (so I assume) to the judges.

Makefile now refers to *.text instead of *.markdown and no longer refers
to judges file as that was only part of the preview repo for winners.

There might have been other changes I have made but everything *appears*
to be okay now.

2020/ferguson1/terminals.html

@@ -31,19 +31,30 @@
 file. I discuss terminal capabilities, dimensions (setting and how to restore
 sanity if it causes any problems) as well as colours (limitations etc.).</p>
 
-<p><a name="toc"></a>
--   <a href="#termcaps">Capabilities support testing program</a>
--   <a href="#dimensions">Setting the game dimensions</a>
-    *   <a href="#linescolumns">The LINES and COLUMNS environmental variables</a>
-    *   <a href="#insanity">Terminal insanity</a>
-    *   <a href="#restore">Restoring the terminal</a>
-    *   <a href="#abuse">Terminal size abuse</a>
--   <a href="#termlimitations">Terminal limitations</a>
--   <a href="#colours">Terminal colours</a>
-    *   <a href="#background">Curses background</a>
-    *   <a href="#monochrome">Monochrome terminals</a>
-    *   <a href="#colourlimitations">Colour limitations</a>
-    *   <a href="#disablecolour">Disabling colour</a></p>
+<p><a name="toc"></a></p>
+
+<ul>
+<li><p><a href="#termcaps">Capabilities support testing program</a></p></li>
+<li><p><a href="#dimensions">Setting the game dimensions</a></p>
+
+<ul>
+<li><p><a href="#linescolumns">The LINES and COLUMNS environmental variables</a></p></li>
+<li><p><a href="#insanity">Terminal insanity</a></p></li>
+<li><p><a href="#restore">Restoring the terminal</a></p></li>
+<li><p><a href="#abuse">Terminal size abuse</a></p></li>
+</ul>
+</li>
+<li><p><a href="#termlimitations">Terminal limitations</a></p></li>
+<li><p><a href="#colours">Terminal colours</a></p>
+
+<ul>
+<li><p><a href="#background">Curses background</a></p></li>
+<li><p><a href="#monochrome">Monochrome terminals</a></p></li>
+<li><p><a href="#colourlimitations">Colour limitations</a></p></li>
+<li><p><a href="#disablecolour">Disabling colour</a></p></li>
+</ul>
+</li>
+</ul>
 
 <h1><a name="termcaps" href="#toc">Capabilities support testing program</a></h1>