Version 0.13-CoCalc

• Upgraded to Python 3
• More things are printed when in verbose mode
• Additional examples are available
• expressions is now able to generate expressions as it would do for conjecturing, but without checking them against any conjecturing heuristic.