Move Docker and Vagrant to src/tools (#1206)

* Move Docker and Vagrant to src/tools
* Update README
* Update path names

README.md

@@ -225,7 +225,7 @@ make installcheck-bugbuster
 ## Development with Docker
 
 We provide a docker image with all dependencies required to compile and test
-GPDB. You can view the dependency dockerfile at `./docker/base/Dockerfile`.
+GPDB. You can view the dependency dockerfile at `./src/tools/docker/base/Dockerfile`.
 The image is hosted on docker hub at `pivotaldata/gpdb-devel`. This docker
 image is currently under heavy development.
 
@@ -296,4 +296,4 @@ Known issues:
 For Greenplum Database documentation, please check online docs:
 http://gpdb.docs.pivotal.io
 
-There is also a Vagrant-based quickstart guide for developers in `vagrant/README.md`.
+There is also a Vagrant-based quickstart guide for developers in `src/tools/vagrant/README.md`.

vagrant/README.md → src/tools/vagrant/README.md

@@ -35,13 +35,13 @@ git clone https://github.com/greenplum-db/gpdb.git
 ```
 
 ##3: Setup and start the virtual machine
-Next go to the `gpdb/vagrant` directory. This directory has virtual machine
+Next go to the `gpdb/src/tools/vagrant` directory. This directory has virtual machine
 configurations for different operating systems (for now there is only one).
 Pick the distro of your choice, and `cd` to that directory. For this document,
 we will assume that you pick `centos`. So, issue the following command:
 
 ```shell
-cd gpdb/vagrant/centos
+cd gpdb/src/tools/vagrant/centos
 ```
 
 Next let us start a virtual machine using the Vagrant file in that directory.

vagrant/debian/Vagrantfile → src/tools/vagrant/debian/Vagrantfile

@@ -34,7 +34,7 @@ Vagrant.configure("2") do |config|
   end
 
   nfs_setting = RUBY_PLATFORM =~ /darwin/ || RUBY_PLATFORM =~ /linux/
-  config.vm.synced_folder "../..", "/gpdb",type: "nfs"
+  config.vm.synced_folder "../../../..", "/gpdb",type: "nfs"
 
   if File.file?('vagrant-local.yml')
     local_config = YAML::load_file('vagrant-local.yml')