Update VirtualBox to 4.2.16

Since version 4.2.14 does not work well with vagrant (https://github.com/mitchellh/vagrant/issues/1847), this PR avoid new users to fall in this problem.