add non-blocking IE-only html5.js script at bottom of page to cache it

about.html

@@ -26,3 +26,4 @@ abbr{font-variant:none;text-transform:none;letter-spacing:0}
 </div>
 </div>
 <p class=c>&copy; 2001&ndash;9 Mark Pilgrim
+<!--[if IE]><script src=j/html5.js></script><![endif]-->

index.html

@@ -59,3 +59,4 @@ h1:before{content:''}
 <p class='c nm'>This site is optimized for Lynx just because fuck you.<br>I&#8217;m told it also looks good in graphical browsers.
 
 <p class=c>&copy; 2001&ndash;9 <a href=about.html>Mark Pilgrim</a>
+<!--[if IE]><script src=j/html5.js></script><![endif]-->

iterators-and-generators.html

@@ -86,3 +86,4 @@ h1:before{counter-increment:h1;content:''}
 <p class=c>&copy; 2001&ndash;9 <a href=about.html>Mark Pilgrim</a>
 <script src=j/jquery.js></script>
 <script src=j/dip3.js></script>
+<!--[if IE]><script src=j/html5.js></script><![endif]-->

push

@@ -1,14 +0,0 @@
-#!/bin/sh
-
-die () {
-  echo "$1" >/dev/stderr
-  exit 1
-}
-
-hg status|grep "^\?" && die "Stray files found."
-echo "not running unit tests, shame shame"
-cd examples/
-#python3 regression.py || die "Unit tests failed."
-cd ..
-ssh diveintomark.org "hg -R /home/mark/db/diveintopython3/ serve --stdio" &
-hg push ssh://mark@diveintomark.org//home/mark/db/diveintopython3/

table-of-contents.html

@@ -362,3 +362,4 @@ ul li ol{margin:0;padding:0 0 0 2.5em}
   </ol>
 </ul>
 <p class=c>&copy; 2001&ndash;9 <a href=about.html>Mark Pilgrim</a>
+<!--[if IE]><script src=j/html5.js></script><![endif]-->