Update the registry format to support multiple providers

The file Registry.json is removed. Its content is merged to config.

Change-Id: Idbaefdeb6522ce24ff79c19613e66ecb438b45b2