Take into account cpuset affinity on Linux when using cpu count for sizing pools

On Linux, Runtime.getRuntime().availableProcessors() always returns the host CPU count regardless of the process' cpuset affinity. This effectively means usage of cgroups (e.g. using docker) and numactl will lead to oversized thread pools. While this issue should be fixed in the JVM, we should workaround the problem by reading /proc.