Agents available via CL

Currently, we have one agent available - the "original" CodeLogican - now rebranded as "CodeLogician Agent" which formalizes your code into IML and uses ImandraX to answer any questions.