0f0dce8 - Use "app.lua" as the filename for the main script instead of "launcher".
77a5d4d - If no progname is specified by the application, use the executable name (without path and extension).
1c651b0 - The progname is now readable and editable from the Lua code. It is in require('launcher').title.
ec6a2d2 - Miscellaneous fixes.
cb184bc - Second attempt at a Lua app launcher library, this time based on the lua.c from Lua 5.2.