adding '<=' as an alternative syntax for implication (in addition to …

…':-' )

updating antlr version to 4.8.1, logging+colors, preparing for a release