Based on https://github.com/JuliaLang/julia/blob/master/contrib/vagrant/Vagrantfile