ssh: add "devvm" alias and "dev" host config
ssh: add "devvm" alias and "dev" host config

Want to be able to switch back and forth between these easily and I
won't be able to remember which host "sandbox" and "sandbox-clipper" are
otherwise.

With this can just "s", "s devvm" or "s dev".

wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent