lua: embed bytecode instead of stripped source
It seems a bit cleaner, though impact on size and load speed should not be noticeable. We simply install most of the lua code, as before, and I assume that we do want to keep that visibility, at least by default. Suggested on !57 (merged).