Missing Qt dependency.

Packagae libqt4-dev seems to be required but not always present.
When Tim tried out Artemis he had compilation errors without this package (Linux Mint I believe).
Export graphs of progress during concolic testing.
Nicer expression printing in the graph displays.