Enable setting of Linux user name from launch options

Seems like it would be a good idea to use the bootstrap user name provided in the VMLaunch options when creating a username for Linux, rather than hard-coding "dasein" (though that is still the default).