[crux-commits] ports/opt (3.1): lua: 5.2.3 -> 5.3.1