details in the API

[Roberto Ierusalimschy <roberto@...>]

We forgot to tell that: besides lua_type, there are two other minor changes 
in the API (from 4.0 beta to final): 

* lua_settag does not pop its argument from the stack.

* lua_settagmethod does not push the old tag method in the stack.

-- Roberto