Added a test case for the event sequence problem.
Merge branch 'master' into feature-event-sequences-simple
Consolidate the form field injection code into a single function.
Log the input type in a SymbolicSource.

After discussion today it seems like this may no longer be needed, but was intended to be used by the constraint writer and injection code for extra typing information.
Proper handling of types in the solver's result.

These are not yet used in the rest of the ssytem. In fact they are immediately overwritten as all strings in ConcolicRuntime::createFormInput(). The next step it to pass this information through Artemis as far as the value injection code, which should be able to use these types.
Created new InjectionValue type for bool/string values to be injected into the page. Currently it is only used in the same way as QString was previously.
Allow passing boolean injections on the command line with -F#input=true.

Until the injection respects boolean injections, this does nothing different to the existing -f.
Pass the InjectionValue objects from the solver all the way to the injection into the page.

Including some changes to the input strategies of core Artemis, which now need to generate InjectionValues which are given to the same common injection code.
Merge branch 'master' into feature-event-sequences-simple
Fix an error reading back Int values from the solver.

All concolic tests now passing again.
Simple validation of value and field types in FormFieldInjector.
Add support for triggering form field handlers.

This will hopefully be the first step towards solving the 'event sequence problem'. Also includes a simple test case of this problem.
Add markers to traces to show where the handler triggers and button clicks occur.
Improved graph output for event sequence triggering.
Merge branch 'master' into feature-event-sequences-simple
Include coverage reports in the concolic test suite.
Merge branch 'feature-event-sequences-simple'
New concolic tests for checkbox and radio button issues.
Value attribute of radio buttons and checkboxes should not be symbolic.

Fixes #107.
Improved implementation of e7344d88.