Change 'To run' to 'To use' in all README.md files

As in:

    sgit -e 's/# To run/# To use/g' '*README.md'

This makes consistent the message for how to use the program. 'How to
use' was chosen because one can run a program just by doing './foo' but
that doesn't imply that's how to use it but the purpose of the section
is how to use it.

1998/banks/README.md

@@ -13,7 +13,7 @@ US\
 make all
 ```
 
-## To run:
+## To use:
 
 ```sh
 cat horizon.sc pittsburgh.sc | ./banks

1998/bas1/README.md

@@ -12,7 +12,7 @@ The Netherlands
 make all
 ```
 
-## To run:
+## To use:
 
 If `lpr` on your system can print PostScript:
 

1998/bas2/README.md

@@ -12,7 +12,7 @@ The Netherlands
 make all
 ```
 
-## To run:
+## To use:
 
 ```sh
 ./bas2 < bas2.c

1998/chaos/README.md

@@ -23,7 +23,7 @@ make chaos_nohalf
 ```
 
 
-## To run:
+## To use:
 
 
 ```sh

1998/df/README.md

@@ -12,7 +12,7 @@ German Federal Republic
 make all
 ```
 
-## To run:
+## To use:
 
 ```sh
 ./df

1998/dlowe/README.md

@@ -11,7 +11,7 @@ US\
 make all
 ```
 
-## To run:
+## To use:
 
 ```sh
 ./dlowe < anyfile > pootfile

1998/dloweneil/README.md

@@ -13,7 +13,7 @@ US
 make all
 ```
 
-## To run:
+## To use:
 
 ```sh
 

1998/dorssel/README.md

@@ -12,7 +12,7 @@ The Netherlands
 make all
 ```
 
-## To run:
+## To use:
 
 ```sh
 ./dorssel

1998/fanf/README.md

@@ -13,7 +13,7 @@ make all
 NOTE: This may take a while.  Some systems may have problems building\
 this entry because of the system resources it requires.
 
-## To run:
+## To use:
 
 ```sh
 ./fanf

1998/schnitzi/README.md

@@ -15,7 +15,7 @@ make all
 ```
 
 
-## To run:
+## To use:
 
 ```sh
 ./schnitzi 5 > sort.c

1998/schweikh1/README.md

@@ -19,7 +19,7 @@ There is an alternate version of this entry that will work with macOS. See the
 how to use it.
 
 
-## To run:
+## To use:
 
 ```sh
 ./schweikh1

1998/schweikh2/README.md

@@ -11,7 +11,7 @@ Germany\
 make all
 ```
 
-## To run:
+## To use:
 
 
 ```sh

1998/schweikh3/README.md

@@ -13,7 +13,7 @@ Germany\
 make all
 ```
 
-## To run:
+## To use:
 
 If "dir" is the directory (or a directory tree) where you keep
 all your favorite pictures off the Internet or from

1998/tomtorfs/README.md

@@ -13,7 +13,7 @@ Belgium\
 make all
 ```
 
-## To run:
+## To use:
 
 ```sh
 ./tomtorfs tomtorfs.c 32 04C11DB7 1 FFFFFFFF FFFFFFFF