Thread control

Allows the user to force the thread number, and enforces it correctly in extractor. Fixes #1042.

The default is to do the Right Thing (e.g. TBBs default), if the user specifies something different, we warn him.
"This setting may have performance side-effects"