Vagrantfile and shell provisioning script to build the docker toolchain using Ubuntu 12.04 LTS