adds the github ssh known host