Documentation

Replaces the deprecated functionality of std::os::num_cpus.