Assume that if VAGRANT_DEFAULT_PROVIDER is set we shouldn't install vbox tools
Update tar pkg revision number
testing, issue #1620: Add index functional test on docker-ci
Changed docker apt repo URI from https to http because the http driver for apt is not installed by default
pr #1718: Fetch docker gpg over https
Compute dependency graph and upload layers in the right order when pushing
Merge pull request #1449 from spkane/honor-ENV-VAGRANT_DEFAULT_PROVIDER

Assume that if VAGRANT_DEFAULT_PROVIDER is set we shouldn't install vbox tools
Fixed typos
Add Gentoo documentation
add new docker api client for erlang, erldocker
Fix documentation index for cli
Merge pull request #1782 from tianon/gentoo-docs

Added Gentoo Documentation
Merge pull request #1785 from thijsterlouw/update_commandline_cli

Fix documentation index for cli
Merge pull request #1783 from briehanlombaard/typos

Fixed typos
Merge pull request #1784 from proger/patch-1

add new docker api client for erlang, erldocker
deployment, issue #1787: Remove deprecated port forwarding from /Vagrantfile
Merge pull request #1788 from dotcloud/1787-deprecate-port-forwarding

deployment, issue #1787: Remove deprecated port forwarding from /Vagrantfile
Adds instruction about UDP port redirection
Don't install VirtualBox Guest Additions if VAGRANT_DEFAULT_PROVIDER is set.
Typo