BiddingAgentCluster: leave function now removes the BiddingAgent from
the MessageLoop sources.