Do not require string size in push_string, use push_literal when necessary instead
Update Lua bindins which used push_string