Temporal constraints for minimal communities

Adapt Quentin's LTL code for planning to compute minimal communities that respect temporal constraints

• Define separating example
• Add test to tests/test_miscoto.py
• Adapt ASP code to use MisCoTo knowledge base
• Add new ASP code as a new encoding in miscoto/encodings, commons.py
• Add encoding to parameter option in run_mincom