Remove helpers/pflang_to_lua.lua

* tools/helpers/pflang_to_lua.lua: Remove; no longer needed.