Upgrade to Ubuntu 12.04.4 now that the 12.04.3 ISOs have been removed by Canonical.

While we're at it, install VMWare Tools and VirtualBox Guest Additions after
rebooting into the new kernel. This makes everything much easier compared to messing with DKMS.