portsurvey log for http://www.cs.utexas.edu

> http://www.cs.utexas.edu/~arvindn/gretools/ ok
> http://www.cs.utexas.edu/~arvindn/gretools/1.2/gretools-1.2.4.tar.gz ok