Improve lua profiler

[GoogleFrog]

The gadget and widget profilers say that lua used about 35% of FPS 30 minutes into this game: http://zero-k.info/Battles/Detail/490427

Engine debug view thinks it was 55%.

Also, at some points in the game the profiler said that terraform was using 5% of FPS in unsynced lua. The unsynced lua code is as follows:

[Licho1]

There are probably limits of what you can profile with lua because of its slowness. Profiling itself is probably quite expensive too.