docs(installing_deis): Changing ssh key docs for vagrant users

Author: phspagiari

docs/installing_deis/install-platform.rst

@@ -58,6 +58,10 @@ hosts during ``deis run``:
 
     $ deisctl config platform set sshPrivateKey=~/.ssh/deis
 
+.. note::
+
+    For Vagrant clusters: ``deisctl config platform set sshPrivateKey=$(HOME)/.vagrant.d/insecure_private_key``
+
 We'll also need to tell the controller which domain name we are deploying applications under:
 
 .. code-block:: console

docs/installing_deis/vagrant.rst

@@ -31,18 +31,20 @@ The ``Vagrantfile`` requires the plugin `vagrant-triggers`_. To install the plug
     website.
 
 
-Generate SSH Key
-----------------
-
-.. include:: ../_includes/_generate-ssh-key.rst
-
-
 Generate a New Discovery URL
 ----------------------------
 
 .. include:: ../_includes/_generate-discovery-url.rst
 
 
+Generate SSH Key
+----------------
+
+.. note::
+
+    For Vagrant clusters you don't need to create a key pair, instead use the insecure_private_key located in ``~/.vagrant.d/insecure_private_key``.
+
+
 Boot CoreOS
 -----------