What is the definition of a script file?