Make vagrant config file compatible with Docker
I just tried installing Dissemin on a new machine with Vagrant and it is sort of a pain (on a Debian machine) because Virtualbox is not in the official repository, and the Vagrantfile is not compatible with Docker. I wonder what it would take to make our Vagrantfile compatible with Docker (having very little experience with both Vagrant and Docker!!).