* Fix Debian Vagrant file

Add more required packages
Fix upgraded Python packages
Add missing options to configure line
Fix ssh known hosts

* Fix ImportError with cffi and setuptools_ext

* latest changes from Dave

Add support to the vagrantfiles for having additional synced_folders
locally without having to patch the Vagrantfile. Local folders are
configured in a YAML file in the same directory as the Vagrantfile
on the following format:

    synced_folder:
       - local: ../../../orca/gporca
         shared: /gporca
       - local: ../../../orca/gpos
         shared: /gpos

cd vagrant
vagrant up
vagrant ssh
cd /gpdb/vagrant
./vagrant-build.sh