Add a useless double buffer to the JFrameTextView.

Fixes #75.

This adds a simple double buffer for the text area. It doesn't really have any effect since the jFrame is already double buffered, and our code is structured in such a way that only 1 thread ever reads and writes from the buffer in an already synchronous way. But alas, it is a requirement for the project.