Avoid duplication
Merge branch 'master' of github.com:jkeiren/paritygame-generator
Merge branch 'master' of github.com:jkeiren/paritygame-generator
Add script that adds solutions to the individual results.

The file with results is processed, and the solution is written to the file containing information about the individual parity game.
Improved data processing.

* Add separate file to plot the data in the paper.
* Add IEEE1394 as a model checking case.
* Add script that can add files based only on the detailed data (instead of processing a full .yaml file generated from our parity game generator)
* Modify script that builds an SQLite data base to only add original games by default.