Fixes #1532: added Lua playTone()