Initial work towards using an external entry-point finding tool.

In this version of the test suite, all the calls to the external tool are done at the start, and then the tests are run. I would prefer to avoid this and keep all processing of a single site together, but I also wanted to keep the individual test generation as simple as possible and not mix the calls to DIADEM and ArtForm too much.
Refactor test suite to test one entire site at once.
Fix bug where we pass both -v info and -v all in test suite.
Do not run artemis in dry-run mode of the test suite.
Fix some bugs with creating directories in the test suite dryrun mode and improve output.
Refactoring for test suite.
Add EP finder running time to reports.
Improved error handling in test suite.
Merge branch 'master' into feature-external-ep-finder
Added the external entry-point finder.
Make sure we record the ajax statistics in the log.
Add logging of which EPs were found by DIADEM.
Fix issue with logging DIADEM results.
Do not special-case sites with a single entry-point in the test suite. This avoids a bug where the entry-point finder results would be overwritten and is less annoying.
Remove the ep finder log before testing in case of any issues using the wrong version of the file later on.
Include the proper PC in the constraint log when there are translation errors.
Fix statistics bug intrduced in b25e62f9.
Correctly output error message when there is no EP.

When I initially modified this in 7ee34920 I was confused about how the logging levels currently work so this message was not being printed.
Include extra logging in concolic tests. See issue #103.
Add a property sites test suite for concolic mode.