Registry server for Kevoree (hosting/delivering Kevoree models)