[Finishes #75231370] Karel builder and stringified numbers
Merge pull request #1062 from code-dot-org/karelSaving

[Finishes #75231370] Karel builder and stringified numbers