int(0..1) read_next()
Drops the leading whitespace before next revision's deltatext entry and sets this_rev to the revision number we're about to read.