gitk: Kill back-end processes on window close