Restructuring of documentation
Updated ignore file
Update documentation string
A lot of work on memory management
Add support for non-ID/name based form inputs in concolic mode
Fix error caused by the artemis form ids
Mark unexplored but attempted nodes with the reason for failure.
Output graphs even for unsolved constraints. This shows the progress even when there is no new trace.
Fixed non-id/name input handling
Ability to mark nodes as UNSAT.
Correct spelling mistake.
Better hard-coded entrypoint finding.
Extra logging for solver errors.
Small fix to trace graphs.
Remove bytecode logging from the path tracer.

This feature is no longer used but records a huge amount of useless information and memory on every run.
Disable path tracer when not needed.
Do not mark hidden inputs as symbolic.

These are causing the bug where we have symbolic inputs which cannot be injected.

It would be possible to inject into hidden fields, but there is no use (and it may be dangerous) in trying to generate paths which are not feasible for a user.
A little extra diagnostics in the constraint log and also fixed a couple of warnings.
Add basic assertions for the concolic tester
Added additional assertion to concolic tests