first draft
merge develop
UUIDPool

Interface wih the infrastructure to retrieve "valid" UUIDs rather than inventing them. This is required by a reinstantiation-based VM relocation as a new VM must be created.
clean
Remove UUID.randomUUID() to prevent from potential repeatability issues
Bug fix in ForgeVM

The action no longer necessarily ends at the end of the RP.
First implementation of the re-instantiation based relocation.
save
fix conflicts
quotes around string values
Bug fix related to the re-instantiation based relocation.
Close #7