Add Option to Specify Different Instruction Log Formats

[kathlenemagnus]

While bringing up Atlas, we are often comparing Atlas's instruction log against the logs of other functional models. To help with debug, it would be nice to be able to specify the instruction log format as either the default, Spike or Imperas.