time ambient, fix regexp terminator
Add a no contracts fine grained timing script
add scripts to process fine grained output
Switch to using open, read, write instead of fread, ...
Dorothy's directory structure doesn't have links
add fine-grained timing, no contracts to final-results