pen.sh   target directory: /usr/local/etc/rc.d

doel: het optimaliseren van proxy gebruik vanuit een node
      eerst wordt de lopende pen gekilld
      daarna wordt pen opgestart met proxies in volgorde van throughput
      dit wordt gedaan in het script pencontrl.sh

methode:
      Door de environment variabele http_proxy te veranderen in de 
      verschillende proxies wordt met wget een pagina van planet 
      binnengehaald en geschreven naar /dev/null
      de prestatie gegevens worden verwerkt en per proxy wordt er een 
      regel in /var/db/pensequences geschreven
      <aantal_bytes_per_seconde> <proxy_naam>
      Hierdoor kan in deze file altijd gezien worden wat de prestatie 
      van de proxies waren, op basis waarvan de volgorde van proxy
      aanroep door pen wordt bepaald.
      pencontrl.sh maakt gebruik van een awk filter, die is gespecificeerd
      in /usr/local/etc/awkpencontrl

randvoorwaarden:
      Om wget te laten werken is de library /usr/local/lib/libconv.so.3
      op de node gezet.
      Verder was het nodig om in /root/.cshrc op te nemen:
      setenv http_proxy http:proxy.wleiden.net:3128
      Zonder deze setting hadden de variable setting van http_proxy
      in het script geen betekenis als environment variabele.
      De gekozen setting is handig, omdat bij het inloggen meteen getest kan
      worden of pen werkt.