* Discovered that Prototype makes it easy to auto-refresh, so I switched

* Discovered that Prototype makes it easy to auto-refresh, so I switched
  the wholist and summary refresh code to use that API instead of doing it
  myself.
* Switched all HTTP/1.0 HTTP/1.1.  I don't know if this is going to break
  anything (it shouldn't -- I'm not knowingly depending upon any features
  of HTTP/1.0), but it *fixes* the problem of Internet Exploder caching
  pages even when it's told not to.