Add BatchMode to vagrant ssh options

This way, when ssh prompt us for the password, for instance when the ssh-key
has not yet been setup, we fail the ssh action, and vagrant will retry until
the ssh-key is installed and ssh is really available