Added the new tool...
Changed parameters and functions so it could serve PajeAligner, the new comparison tool.
Changed parameters and functions so it could serve PajeAligner, the new comparison tool.
A new trace file comparison tool.