Add a log of injections made by the concolic mode.
Add a bookmarklet which can be used to replay injection logs in a browser.
Encode : in the constraint writer (seen in the selekt used-car example).