added github-property-graphs-python.txt