Add CSP code of the dining philosophers problem

This CSP code does not use external nondeterminism, cf. Chapter 3
(p. 53f) in "Understanding Concurrent Systems" by A.W. Roscoe.