Add a sys_get_number_of_cores() function that calls sysconf or sysctl