Test for dynamic radio button constraints.
Very small test set used for feature comparisons with many features being tested.
Merge branch 'master' of github.com:cs-au-dk/Artemis
Add test for select box constraint generation.
Fix bug in dynamic form field handling, and typo.
Fix bug in dynamic form field handling, and typo.
Enforce sane solutions for select boxes
Separated the concolic analysis controller and the form-specific concolic runtime.

The ConcolicAnalysis class should now be ready for standalone use.

The concolic runtime now passes the same concolic.py tests as it did before the refactoring and seems to be working the same.
Merge branch 'feature-symbolic-target' of github.com:cs-au-dk/Artemis into feature-symbolic-target
Merge branch 'master' into feature-symbolic-target
Merge branch 'feature-refactor-concolic-runtime' into feature-symbolic-target

Conflicts:
	artemis-code/artemis-core.pri
	artemis-code/src/runtime/runtime.cpp
	artemis-code/src/runtime/toplevel/concolicruntime.cpp