How do I download(upload) engrave-11.py
How? As you download any file. Just find the download link, click right and select "save target as ..." in firefox, or use "wget <url>", ... Just kidding.
If you are searching for this python script, I found a version on the internet:
Also note, that python programs are not compiled, but just executed. Source file and executable are the same. You will have to type
on the command line in order to execute the python-script, or make the file executable
In both cases you should be able to run the python-script.
If you have any further questions, feel free to ask.