multithreading ex1: dining philosophers problem.
first draft.
NB: no deadlock proof.