#451 Add dining philosophers as CIF benchmark model.

I've opted to adapt the model from four forks and philosophers in the current test model to the traditional number of five forks and philosophers. For the synthesis time this barely makes a difference.

Closes #451 (closed)