boot2docker is EOL: boot2docker/boot2docker#1408

Instead of relying on docker-machine, docker-machine-nfs and boot2docker, we now
use a vanilla vagrant box and install docker inside it. This allows us
to keep using the latest docker versions.

This also allows more more customization and some extra benefits:
- Faster shell integration (static variable instead of docker-machine call)
- Static IP of VMs (useful when accessing ports)
- VM has swap now (just like Docker Desktop)
- Disk size adjustable
- Better test in installer

Performance has been measured and is equal to the old setup.

boot2docker is EOL: boot2docker/boot2docker#1408

Instead of relying on docker-machine, docker-machine-nfs and boot2docker, we now
use a vanilla vagrant box and install docker inside it. This allows us
to keep using the latest docker versions.

This also allows more more customization and some extra benefits:
- Faster shell integration (static variable instead of docker-machine call)
- Static IP of VMs (useful when accessing ports)
- VM has swap now (just like Docker Desktop)
- Disk size adjustable
- Better test in installer

Performance has been measured and is equal to the old setup.

boot2docker is EOL: boot2docker/boot2docker#1408

Instead of relying on docker-machine, docker-machine-nfs and boot2docker, we now
use a vanilla vagrant box and install docker inside it. This allows us
to keep using the latest docker versions.

This also allows more more customization and some extra benefits:
- Faster shell integration (static variable instead of docker-machine call)
- Static IP of VMs (useful when accessing ports)
- VM has swap now (just like Docker Desktop)
- Disk size adjustable
- Better test in installer

Performance has been measured and is equal to the old setup.

boot2docker is EOL: boot2docker/boot2docker#1408

Instead of relying on docker-machine, docker-machine-nfs and boot2docker, we now
use a vanilla vagrant box and install docker inside it. This allows us
to keep using the latest docker versions.

This also allows more more customization and some extra benefits:
- Faster shell integration (static variable instead of docker-machine call)
- Static IP of VMs (useful when accessing ports)
- VM has swap now (just like Docker Desktop)
- Disk size adjustable
- Better test in installer

Performance has been measured and is equal to the old setup.

boot2docker is EOL: boot2docker/boot2docker#1408

Instead of relying on docker-machine, docker-machine-nfs and boot2docker, we now
use a vanilla vagrant box and install docker inside it. This allows us
to keep using the latest docker versions.

This also allows more more customization and some extra benefits:
- Faster shell integration (static variable instead of docker-machine call)
- Static IP of VMs (useful when accessing ports)
- VM has swap now (just like Docker Desktop)
- Disk size adjustable
- Better test in installer

Performance has been measured and is equal to the old setup.