Lua profile dump/load

It is sometimes handy to store profiling results for later. This PR adds commands that allow to store the LuaJIT profiling results as a simple JSON file.