Patch dir-spec with the shared randomness info

We have proposal250 specifying the shared randomness feature, but that's not enough.

We should extract all the directory-related info from prop250, and patch dir-spec.txt to specify all the changes in vote documents and consensuses.