On Linux, how to tell how many cores of the machine are active