Made watchdog-single the default race instrumenter
Merge branch 'master' into llvm-trunk