Graph Drawing and Export

Here we change the job to instead draw the state space graph. We modify the model to only contain two philosophers and play a bit with the resulting graph, including exporting it in DOT and GraphML format.