Allow users to specify an alias for a new VM.

This frees Householder (and VirtualBox) from guessing which name to give
the new VM.