device addressing for v1

[ostap]

UUID will be used as a device identifier. Ideally, this identifier is preserved across different versions of Nervous.

[naibaf7]

The UUID should be generated within the VM code/library and take a timestamp from the host language as parameter. Maybe Linux UUID generating code can be re-used.
See UUIDv4, http://de.wikipedia.org/wiki/Universally_Unique_Identifier
See Linux; /proc/sys/kernel/random/uuid