a minimalist ssh config editor