auto-add vagrant ssh to ssh config