Lock profiling and lock order verification, week 5

[Greg Miller]

Accomplishments for the week:

* Wrote an initial makefile for the witness library and connected
libwitness to the build.
* Wrote a pthread_mutex_lock() wrapper and a test program and verified
that wrappers are executed properly.

I'm currently digging through the kernel WITNESS code, ensuring that I
fully understand it before implementing the userland version, and my
plan is to begin checking in libwitness code later this week.