Mac Terminal Resizing

Fixes most of 1743. Windows can be resized to change terminal dimensions on all windows. One known issue: when entering full screen or changing the font, the window contents may not update immediately. This is resolved by bumping the mouse or tapping a key (a modifier key is fine).