Using the vm_name parameter to name OVA/OVF files and their attachments

The vm_name parameter is documented for VirtualBox (although it mistakenly refers to VMX files) but it is not actually applied to the filenames of the exported OVA/OVF/VMDK appliance files. This patch applies it to those file names and corrects the documentation.