Updated Stats
Adapted main to process args directly
Added custom DTA Results which is serializable and henceforth allows the
usage of ecj checkpoints.