Add a feature comparison script.
New manually-filtered airlines test suite.
Fix for the concolic test suite.
Concolic benchmarks: linking select value and index, and refactored some of the benchmarking code.
Concolic benchmarks: selectedIndex support via compile-time switch.
Concolic benchmarks: Boolean 'checked' instead of 'value' on checkbox and radio buttons.
Concolic benchmarks: Hidden inputs are concrete.
Fix the injection log to show all injections, not just injections by id.