divide champollion module into project directory

[benbrastmckie]

The champollion.py file with only three examples is 812 lines long. I think it would help to divide into separate modules to match the template modules I have in src/model_checker/template/. It will also be important to import directly from model-checker rather than the code base. The resulting project directory can be added to a library directory. The CLI can then be adapted to take arguments with the name of the project in the library where the result will be to copy the project into the current working directory. That way it is easy for users to explore and tweak semantic theories.

[benbrastmckie]

I went through the examples and did some relabeling. I also added a copy of the settings for each example so that it is easy to tweak each case depending on what models it finds, or doesn't.