This MR implements XEP-0308: (Last) message correction.
This one is very much a draft, awaiting how !277 and !256 go; we'll want to merge those two first.