Which advantages provides VMware Workstation Pro over VMware Workstation Player for a Discourse-only development?