Terminal resizing. Still needs some work vis-a-vis reformatting text when shrinking or expanding horizontally. That'll require implementing a history buffer, which will be implemented later. In the meantime, we have resize code that actually works (just not ideally).