Add more detailed statistics to concolic mode.
Fix some issues with double-counting in the statistics.
Fix iteration count in graph output in 'final' mode
Added concolic test suite for real sites.
Fixed bugs in concolic test script when the spreadsheet was not big enough.
Added more sites to the concolic test suite. These are the ones I have tested previously.