update processing script to generate a large column of numbers
turn off contracts for no contract test
print header in fine grained output
add fine-grained timing for grading
remove unused awk script
add fine grained grading tests
final fine-grained results for grading and find-exec
parameterize process-fine-grained-output by results dir