more efficient computation of incoming arrows
Merge remote-tracking branch 'origin/master'

Conflicts:
	graph_store.py
fix shutil.rmtree failure on windows on read-only files