Fix partial-eval link

partial-eval.org has been taken over by domain squatters. The same
website was hosted at http://readscheme.org/partial-eval/ where it
stayed online until 2017. At both URLs the site last said:

"New citations added to the Bibliography on January 22, 2006!"

scripts/format.sh

@@ -5,6 +5,7 @@ cd ..
 echo "Entering directory '$PWD'"
 set -x
 tidy \
+    --gnu-emacs yes \
     --indent yes \
     --quiet yes \
     --show-filename yes \

www/page10.html

@@ -138,8 +138,9 @@
           </h2>
           <p>
             <strong>Visit the NEW, more comprehensive <a href=
-            "http://partial-eval.org"><em>"Online Bibliography of
+            "https://web.archive.org/web/20170923194220/http://readscheme.org/partial-eval/index.html">
-            Partial Evaluation Research"</em></a></strong>
+            <em>"Online Bibliography of Partial Evaluation
+            Research"</em></a></strong>
           </p><a name="survey" id="survey"></a>
           <h3>
             Tutorials and Surveys