KifFormat duplicate variables bug + GGP protocol stop bug.
Fixing merge conflict with origin.
Fixing an Atom parsing bug in the KifFormat.