Add dining philosophers as CIF benchmark model
We have this model in the CIF data-based synthesis test models already. I've been using it to test the benchmarking scripts of #375 (closed) as it synthesizes quickly, making testing of these scripts easier. I think it is useful to have benchmarking models that are simpler and more complex, to have a wider range.