Workshop: Setting the number of ping packets

**Theoretical Recap** In the previous workshop, you built a Python script that executes the `ping` command using the `subprocess` library and saves the output to a file. That script worked, but it used a hardcoded, default number of packets — meaning...