Thread Safety Analysis: add support for before/after annotations on mutexes.

These checks detect potential deadlocks caused by inconsistent lock
ordering.  The checks are implemented under the -Wthread-safety-beta flag.

llvm-svn: 227997