/**	@file	dk3cores.h	Find number of processor cores.

The dk3cores_get_num() function returns the number of processor
cores.
For n>2 (number of cores) you should use a maximum of n-1 threads for
parallel calculations to leave 1 core for OS and GUI.
*/