Adding the python texinfo file to the repo