A monitoring tool for the seti@home client