Merge r1884306, r1885626 from trunk: ci: generate as many core files as there are crashes. Get Lua dev package from liblua5.3-dev. Call sysctl though sudo.