Auto-generate student-dev-tools *-test.html files
WIP: example1
open files with 'U' instead of io.open (all '\n')