Change representation of a VMPort from VM to a VM identifier (nativeint)

* So we can create VMPorts even for dead VM for which there is no more pointer.
Define a VMIdentifier type for a clearer API