Utility to synchronize public ssh keys for a github team with servers