Dynamic My Menu and Junkie menu, based on usage counters
http://www.magiclantern.fm/forum/index.php?topic=18884
TODO:
- look for bugs in menu (anything that affects normal usage?)
- [DONE] check speed with large menus (file_man with lots of files, adtg_gui from iso-research branch)
- manual Junkie customization is saved only if at least one item is starred. Important to fix?
- double-check thread safety in menu.c
To be merged after lua_fix.