implemented ssh key support for digital ocean vagrant provider

Provides a patch for johnbender/vagrant-digitalocean#5. I opted for allowing the user to set the ssh key name (vs using the machine or directory name) so the Vagrantfile could be used by multiple people provisioning the same machines.