demo_run — script file execution
demo_run(fil)
The function demo_run executes a script in the file 'fil' given in argument.