[gh-223] Remove box.print() overriding the built-in Lua print.

See rationale for this fix in gh-223
Remove on the same token a buch of dead code for sandboxing
and do a few renames.