Merge branch 'embed-lua' into 'master'

make: strip *.lua as intended since dcd89700

This saves a few kilobytes in the executable.

Also, the name XXD seemed no longer suitable, as it does lua-specific cleaning.

See merge request !57

diff --cc config.mk
Simple merge