Delete github-property-graphs-python.txt