Add an option to select the concolic search procedure and a stub for the planned skip-boring procedure.
Merge branch 'master' into feature-concolic-loop-skipping
Began work on a RandomAccessSearch helper class.
Continued work on the RandomAccessSearch helper.
Implemented RandomisedSearch as an exmaple implementation of RandomAccessSearch, and fixed some build errors in RandomAccessSearch.
Add an option to enable the new random search.
RandomAccessSearch no passes a list to nextTarget, not a set. This allows DFS to be implemented in this framework.
Fixed a bunch of bugs in the new search framework.

Now the random search procedure can solve all the concolic.py test cases. Some of the assertions do not pass because the conditions are explored in a different order so the final PC and final injection can be different. If the random procedure is modified to always return the first possibility (i.e. DFS) then all the tests pass.
Implemented DFS in the new search framework as a test case. This passes all the concolic.py test cases by default when enabled in the test suite.
Added skeleton for easily-bored search strategy.
Make the random access helper visitor final, so it won't be clobbered by any subclasses.
Add notification to RandomAccessSearch of when/where new traces are added to the tree.
Merge branch 'master' into feature-concolic-loop-skipping
Merge branch 'master' into feature-concolic-loop-skipping
Include 'default' values in the dynamic DOM constraints. Fixes #114.
Fix some confusing output in the constraint log.
Add notification of unsat/unsolvable/missed to the RandomAccessSearch helper.
Add a search attempts budget to RandomAccessSearch, so that the subclasses don't have to manage this.
Add support for concolic searach budgets to execute_artemis in the test suite.
Include constraint ID in the info output.