Additional parameter for ikvmc.exe

I added an extra parameter for the ikvmc.exe path.  If this path is never set, I default to what you already had.  If it is set, we look directly for the executable at the given location.