portsurvey log for http://www-2.cs.cmu.edu

> http://www-2.cs.cmu.edu/~kroening/dbox/dkimap4-2.39.tgz ok
> http://www-2.cs.cmu.edu/~twelf/dist/twelf-1-4.tar.gz ok