demo.c: dump the Redis prompt
wrap exec into a Lua function (fix #1)