Automate generation of documentation PDF

[martin-henz]

We currently generate the documentation of the Source languages automatically, using a github workflow. We should do the same for py-slang.

[martin-henz]

... and while we are at it: Let's rename the documents from source_x.pdf to python_x.pdf