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.
Use a new script for DIADEM which includes a timeout.
Improve tree output for inputs of non-string type.