Boxes are now built using VirtualBox 4.3.8; remove ubuntu-13.04 from VMware section