Remove ssh keys. Coq for vim