Fix the coretemp sensor so it puts the cores in order and uses the core number in the database key.
Merge branch 'master' of ssh://github.com/open-mpi/orcm