* Implemented new installed-programs.json format: issue #63