Merge proposal "214-longer-circids.txt" into tor-spec.txt

(giving this a ticket so I can talk about why I'm doing this on top of my current "more-specs" branch.)