settings.py: Supports Lua pattern conversion.

Passing environment variable LUA_PATTERN_CONVERSION with a nonempty
string enables Lua pattern conversion.