Python lesson 01 for May

[widdowquinn]

This PR updates the latter part of lesson 01 notes and slides, and adds material covering

• generation of a Python script file from a notebook
• running the generated script at the terminal
• editing, then re-running that script

This introduces editing Python scripts as plain-text files, and the edit-save-execute cycle, as requested in feedback from the first presentation.