Add file header to ssh/config.