Added 'winheight' saving/restoring.

SkyBison now saves and restores the value of the 'winheight' option.