diff-based read and write of views

[joshsh]

Rather than pulling and pushing entire views, pull only a diff (of changes since the last pull), and push only a diff (of changes to the buffer since it was populated). This has the potential to dramatically increase the responsiveness of the interface, particularly when you are dealing with large views.