Various changes: Refine VM transformation; Add model checking; Bug fixes

DNI3/DNIinstances/scenario0A.model

DNI3/DNIinstances/vm_send_to_physical_node.model

DNI3/DNIinstances/vm_send_to_vm.model

DNI3/DNIinstances/vm_send_to_vm_internal.model

DNI3/ant/dni-to-qpn2.xml

DNI3/eol/old/structure.eol

DNI3/eol/qpme-delay-calc.eol

DNI3/eol/qpme-functions.eol

DNI3/eol/qpme-node-functions.eol

DNI3/etl/DNI-QPN.etl

DNI3/etl/DNI-model-check.etl

DNI3/etl/DNI-sdn-routing-DNI.etl

DNI3/metamodels/dnimm3.ecore

DNI3/metamodels/dnimm3_simutools.ecore

DNI3/metamodels/dnimm3_simutools.emf

dnimm3/model/Dnimm3.xcore