Extraterm v0.17.0

Massive speed up for window resizes, font size changes and splt/unsplit, even when there is a lot of stuff in the scroll back.

Note: Some anti-virus programs on Windows may prevent Extraterm from starting up.