Thread safety: added basic handling for pt_guarded_by/var and guarded_by/var...

Thread safety: added basic handling for pt_guarded_by/var and guarded_by/var annotations. We identify situations where we are accessing (reading or writing) guarded variables, and report an error if the appropriate locks are not held.

llvm-svn: 138774