* New protected constructor `Code(code)`.
* The other `Code(..)` constructors no longer throw `LeanEngineException`.
* New protected method `Code.getToStringScriptText()` for customizing the part of a script text shown in `Code.toString()` for text-based code instances.