portsurvey log for http://www-sop.inria.fr

> http://www-sop.inria.fr/mimosa/fp/Bigloo/ ok
> http://www-sop.inria.fr/mimosa/fp/Skribe/ ok