lua : update internal copy to 5.2.3