Use ssh executable if available

This is for interactive sessions only; during tests or with --no-stdin,
paramiko will still be used.
Fixes escaping
Adds required SSH options
Merge branch 'use-ssh-exe' into 'master'
Adds --no-pty to 'vagrant run'