tinyOSF changes

tinyOSF is now splitted into two files
- tinyosf.js as the parser
- tinyosf_exportmodules.js to export as html, markdown, json, mp4chaps, ...