Added dining philosophers.

Multiple examples in Grace, Erlang, Haskell, C and D.