Implement OT for SetParagraphStyle vs. SplitParagraph

In order to allow convergence between collaborative clients, the split paragraph op needs to specify what the resulting style of the new paragraph will be.
Done.