Downgrade lua to 5.1 branch as required by nginx-lua