A rectangle selection tool for X11