[ClientServer] We shouldn't necessarily expect our address to be in the
list, though it probably ought to be
Merge branch 'master' of github.com:DeDiS/Dissent
DESIGN doc update