Add support for concolic searach budgets to execute_artemis in the test suite.
Include constraint ID in the info output.
Franck's easily-bored search strategy.