[Live HTML] New diff format

Putting this up for comments and to share the implementation with @jasonsanjose who is doing the browser-side work.