Adds instruction about UDP port redirection
Don't install VirtualBox Guest Additions if VAGRANT_DEFAULT_PROVIDER is set.
Typo
Merge pull request #1795 from eliasp/patch-1

Typo
Merge pull request #1578 from jimmycuadra/vagrant-provider-detection

Better VirtualBox detection in Vagrantfile
deployment, issue #1578: Avoid pinning kernel headers. Add Vagrantfile assumptions
fixed docs for installing binary
Add step to docker installation using vagrant (Mac, Linux)
Merge pull request #1797 from denibertovic/docs

fixed docs for installing binary
Merge pull request #1789 from tommyblue/patch-1

Adds instruction about UDP port redirection
Merge pull request #1801 from vcoisne/master

Add step to docker installation using vagrant (Mac, Linux)
Merge remote-tracking branch 'upstream/master'