Replace standard pointer in TraceDisplay.
Fixed entry point analysis not being run in demo mode and trace recording issue.

However, I am not sure of the implications of this change.

Casper: what do you think we should be doing here?
Remove compiler warning about base class virtual destructor.
Spelling mistake in search interface.
Make alerts more visible in the trace display.
Add failure markers in the traces.

This significantly reduces the amount of useless information recorded in some examples.

TODO: I can't work out how to do this cleanly for success markers.
Removed unecessary trace-building output and moved most demo mode output to verbose mode.
Working on Concolic mode.

Work from the last couple of days on the concolic mode. There are still major chunks missing so it does not run yet.