New proposal for packed and fragmented cells.

Assigning @dgoulet for initial review since he's looked at earlier versions of this.

If he likes it, I'll send it to tor-dev.

cc @mikeperry and @arma: This is a pretty fundamental protocol change, though (I hope) not too big a change.