A simple tool for recording VNC sessions