add vagrantfile and build script to create a VM using docker

[paskino]

This VM installs only docker and few more bits like GNOME. All SIRF prerequisites are then installed by docker. I wanted to keep the 2 things separated. I suppose this will be the new VM.

[KrisThielemans]

ah ok. sorry, I misunderstood. ok.

I think it would be worth adding any docker config to the normal VM (probably only the docker group and adding sirfuser to it). That way people don't trip up there.

Although you won't like it, I really don't think that this VM should become the standard one. A VM that just wraps docker seems inefficient. Linux/MacOS users don't need it. Windows users who refuse to enable HyperV could, but Docker doesn't recommend it. (It seems that the previous docker Windows workaround which effectively was running it in VirtualBox is no longer available).

In my mind, the VM and the docker instance serve 2 different purposes.

• The VM provides a fully working environment with GUI etc. It's suitable for people who either don't know too much, or know a lot about Linux and don't have their own Linux machine
• The Docker image is a minimal image that is most suitable for CLI stuff or jupyter. (If you have a Linux host, you can set-up X pass-through etc, but I'd call that a niche set of users).

So, I'm happy with PR as an experiment for crazy people like us. And we can merge it as long as the doc makes it clear what is what. But I don't think we should distributed this VM.

[paskino]

Actually the real reason I need this is that, because I'm forced to use VirtualBox to create the normal VM, I cannot use docker on my windows laptop.

I thought that trying to do things to the docker files without testing would be a bad idea, so I resorted to create a Virtualbox VM for the sole purpose of running docker... :D

[KrisThielemans]

sure. (I just did the same on my normal VM, after attaching another disk).