Speed up ssh access by turning off DNS checking

Closes #439
(Which is now tested on boot2docker itself, and known to be working beautifully.)