Known bugs:

- PVM Repair should redirect error messages on a window, instead of the
  shell;

- If WAMM is closed when ping or traceroute are running, they are not killed.
