A Python script to quickly switch your Git committer identities