[m-rev.] for review: Separate processor counting from thread pinning.

[Julien Fischer]

On Mon, 23 Jun 2014, Peter Wang wrote:

> Branches: master, 14.01
>
> In low-level C parallel grades we need the number MR_num_processors to
> prime MR_num_threads when it is not explicitly set by the user, even if
> thread pinning support is not available.
>
> runtime/mercury_context.c:
> 	Refactor code to this effect.
>
> 	Add assertions that MR_num_processors > 0 and MR_num_threads > 0.

That looks fine.

Cheers,
Julien.