removed timer_sendReport from Donet modules
added leave events
added a new feature: Peers report their number of partners to
DonetStatistic, and DonetStatistic report the system size (which is the
number of peers which have partners)
fixed a bug: cancel & delete timer_leave at DonetPeer.cc
minor
minor