Add initial layout for intercepting bytecodes, and identification of native methods
Merge branch 'feature-symbolic-execution' of github.com:cs-au-dk/Artemis into feature-symbolic-execution
Experimental exploration of the dom
Merge branch 'feature-symbolic-execution' of github.com:cs-au-dk/Artemis into feature-symbolic-execution
Refactor DOM traversal as an native-function-consistency-check
..
Refactor native function search as a step for identifying paths/names for these
Add simple pattern  match for form input sources
Add symbolic enhancement of JSValue
Move the symbolic infrastructure into JavaScriptCore
Improved symbolic tracking
More work on representing symbolic values
Some cleanup
Add dispatching for symbolic ail_jmp_iff and ail_op_binary to the interpreter
Refactor dom traversal into a generic library
Automatic injection of symbolic values for form inputs

Partial commit, still contains debug statements and the injected symbolic values are not flowing correctly
Fix a couple of bugs in handling symbolic values
Experimental modification to code generator -- automatic boxing and unboxing of symbolic values for attributes
Extedn the JSValue API a bit
Refactor the attribute semantics changes to be conditional