void kill_window(int win)
Kills the window win. If win is the last window, quits Xcoral. Else if win is the current window another window becomes the current window. Following is an example of this function use: