[plt-dev] DNS changes

JFYI: I have changed the way DNS is done for plt-scheme.org,
schemers.org, htdp.org, and nepls.org.  Hopefully, there shouldn't be
any visible problems, but let me know asap if you see anything fishy.

Shriram & Mike: it would also be good to try out email to the domains
you're dealing with -- nepls.org and schemers.org.  (I've just tried
emailing passwords at htdp.org and that seems to be fine.)

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!