Solve Dining Philosophers using mutexes and conditions.

- Used Posix mutexes and condition variables to provide a basic
solution to the N-philosopher dining philosopher problem.