[microdecision] Work around a small bug for apps with different id in manifest and list.json...

(E.g. "Pelican" in list.json but "pelican" is the real id in the built list... Hence it did not fetch the previous commit correctly)

list_builder.py

@@ -139,6 +139,7 @@ result_dict = {}
 for app, info in apps_list.items():
     print("---")
     print("Processing '%s'..." % app)
+    app = app.lower()
 
     # Store usefull values
     app_branch = info['branch']