With access to the source, it should be possible to export them to HTML5 using Adobe's flash authoring tools. I've never tried it though, and I don't know how good the HTML5 versions would be.
Edit: huh, it kinda runs with Mozilla's Flash-runtime replacement, Shumway. Another few rounds of bugfixes and we might not need any Adobe code to play these files just as they are.