This HTML video picker can be added to any project. The included plugin reads the feedcache folder for any mrss xml files, and generates a json file with a list of all videos.
You can then touch the display, and choose any video an it will play once. The plugin can technically be modified to pull the list of files from anywhere so it can easily be modified to only show specific files or to pull file names from a sync list instead or some other source.
You can download it here.