Move the iterative deepening from the concolic runtime into the DFS procedure.
Add an option to control the depth limit of the concolic DFS.
Concolic runtime uses the generic TreeSearch interface and does not depend on DFS specifically.
Merge branch 'master' of github.com:cs-au-dk/Artemis