Clean up modelchecking files
Add additional properties, ass wel as a model for the Onebit protocol
Add additional cases for the experiments and update the options for pbesstategraph