lua doc : complete documentation about the new event
lua doc : document EXR compression
lua : slightly improve dt_lua_debug_stack
lua : remove a dubious comment
lua : fix various stack problems

fix #10223