This introduces SCUDO_MAX_CACHES allowing to define an upper bound to the
number of ScudoTSD created in the Shared TSD model (by default 32U).
This name felt clearer than SCUDO_MAX_TSDS which is technically what it really
is. I am opened to suggestions if that doesn't feel right.
Additionally change getNumberOfCPUs to return a u32 to be more consistent.
SCUDO_MAX_SHARED_THREAD_CACHES, maybe?