Finish switching pinger code over to identity-based (not nickname-based) server tracking. (I think.)
Finish switching pinger code over to identity-based (not nickname-based) server tracking. (I think.)

rxcomm/mixminion,crooks/mixminion,mixminion/mixminion,Javex/mixminion,Javex/mixminion,reezer/mixminion,nmathewson/mixminion,crooks/mixminion,mixminion/mixminion,rxcomm/mixminion,reezer/mixminion,nmathewson/mixminion,Javex/mixminion,crooks/mixminion,Javex/mixminion,nmathewson/mixminion,mixminion/mixminion,rxcomm/mixminion,rxcomm/mixminion,reezer/mixminion,mixminion/mixminion,nmathewson/mixminion,crooks/mixminion,reezer/mixminion