add some new fields to GTIDManager, in preparation for tweaking election algorithm