use lua_pushliteral for string-literals.

Minor improvements.