python: add some missing source files of sdist (setup.py)