Change edamame to act as ns2.jenkins-ci.org
Upgrade vagrant to 1.6.2 and include a little helper script to define the default provider