Updated name throughout to psef-tool.