get_num_cpus needs to be exposed publicly

[brson]

I can't recall the number of times I've had to rebind rust_get_num_cpus.

[brson]

Maybe os::get_num_cpus or os::num_cpus.