portsurvey log for http://vlsi.cornell.edu

> http://vlsi.cornell.edu/magic/ ok
> http://vlsi.cornell.edu/magic/magic-7.1.tar.gz ok