enforce using version 5.1 of lua

To test, install lua5.2 on your Debian-based system, and make sure http://localhost:8080 still shows the application portal.