Specify ordered list of cores to use

[travisdowns]

Things like turbo boost 3.0 mean that what core you pin to is important: some cores can clock higher than others. Currently we assign threads always starting from thread ID 0, but we should allow you specify an ordered list of core IDs which we will use instead.