CircleCI: Detect number of processors
Currently we hard-code the thread count to 8, which is what the machines which jobs from the
ghc/ghc repository run on. However, such machines are not available to owners of
ghc forks (unless they specifically request a resource limit bump from CircleCI).
We should automatically detect the CPU count to ensure that CI on smaller instances will not fail due to oversubscription.