Integration with Pylogics

[francescofuggitti]

There are several things to improve the current parsing:

• update the current parsing implementation using pylogics
• pay attention to the symbol naming convention
• the to_mona would just be a visitor on pylogics formulas

This change will:

• simplify the package
• make it easier to extend (also, hopefully, less bugs ;) )
• uniform the syntax of LTLf and PPLTL formulas across other tools