The magic vagrantfile+shell script which installs ubuntu 14.04 32 bits with docker.