Running SPEC correctly.
The specint subdirectory of the benchmarks section now includes reference inputs for the spec benchmarks, and the run_spec script prepares scripts to call the benchmarks correctly based on the output of specinvoke from the runspec tools. The simulator is modified to handle the maxinsts option differently by checking if multiple max_insts_any_thread events have been reached. This change was necessary because the max_insts_all_threads parameter doesn't count the workloads of different processors as different threads.