Add python files to generate the ".sty" file