0.9.20

Removed deprecated automatic coloring
Added implementation of TailCallModels
Added logic module: https://github.com/rssh/dotty-cps-async/tree/master/logic
Added to test examples with a few well-known monads (continuation, logic, and unification).