add some new fields to GTIDManager, in preparation for tweaking election algorithm
remove VoteException
crack at election commands