[Updated] Jedi Manager to read the configuration from different lua
files depending on the configured jedi progression system.

Change-Id: I75b171352b9d2406e2f354cbb76fdf80089c9d07