Update run_htts.sh so that a specific list of core counts can be specified, instead
of just a maximum number to use.