BUGFIX: save window size on Alt+F4
Merge branch 'master' of https://github.com/hennr/marabou