Merge branch 'refs/heads/t/gui-sigwinch'

A single patch which removes a long standing issue of para_gui.

Cooking for half a year.

* refs/heads/t/gui-sigwinch:
  gui: Catch SIGWINCH.

diff --combined NEWS.md
index d0bd6585a3a2f04be5ec262d580bfb8800733498,d0bd6585a3a2f04be5ec262d580bfb8800733498..4fd9dcb495e7f42cf89468ae18d485338820ec9b
--- 1/NEWS.md
--- 2/NEWS.md
+++ b/NEWS.md
@@@ -1,6 -1,6 +1,13 @@@
  NEWS
  ====
  
++-------------------------------------------
++0.6.2 (to be accounced) "elastic diversity"
++-------------------------------------------
++
++- para_gui no longer waits up to one second to update the screen when
++the geometry of the terminal changes.
++
  ----------------------------------------
  0.6.1 (2017-09-23) "segmented iteration"
  ----------------------------------------