Keep my ssh config file synchronized between two systems