implemented leave function. changed reelection of coordinator: coordinator doesn't change its id, this makes it easier to see what happens in the network. also no join after the reelection of an new coordinator.