Python script to ship ssh public key to servers