Plugin for Gkrellm that displays updated info on several game servers