Model HD-Service deployment with Kevoree

Please, follow the Kevoree Book

Here we should discuss the integration between the ThingML implementation models and the Kevoree deployment models.

todo Inria to complete this part