Add support for VMWare Fusion.

VirtualBox has/had serious issues on Mavericks, and it's generally slower than VMWare Fusion.

This adds a few lines of config options to support VMWare Fusion, without affecting the config for people who use VirtualBox (which remains the default).