A small python library and utility to get the number of "physical" cpu cores (without hyperthreading logical cores) of a linux/osx box