A tool for tracing Lua script execution and analysing time profiles and coverage