v1.0.0

New:

• action models and transformers with factual change
• NonS5 modules, now called K, are no longer experimental
• separate types State and World
• automated testing and benchmarks
• lots of bugfixes

Removed:

• support for robbed, NooBDD and Z3
• old Example files