Rename --script-file option to --script-source and document.