[submodule "tools"]
	path = tools
	url = https://github.com/castorini/anserini-tools.git