Switch vmi_init char* to const char*

Make user input of domain name or config string const.
Sure, should be fine.