Use locally-produced boxes for ci

We still want ci to use locally-produced boxes even though the
Vagrantfile now defaults to Vagrant Cloud. This change adds Vagrantfiles
that are specific to each provider. These are used in place of the
default Vagrantfile by the ci scripts prior to bringing a box up.

Signed-off-by: Kris Hicks <krishicks@gmail.com>
Set /vagrant to 777

Signed-off-by: Maria Shaldibina <mshaldibina@pivotal.io>
wip

Signed-off-by: Andrea Law <alaw@pivotallabs.com>
Signed-off-by: Maria Shaldibina <mshaldibina@pivotal.io>