New functions sol.video.get/set_window_size().

Also remember the window size during fullscreen to restore it after.