Minimal Lua library to access GPIO functionality on the Raspberry Pi