add relacy race detector
Modify README.md