Abort GIF rendering upon window closing

and also add a Cancel button that just closes the window, thus aborting
the GIF rendering