Add AST generation
More symbolic work
Merge branch 'master' of github.com:cs-au-dk/Artemis into feature-symbolic
Add symbolic expression visitor
Added code for cases
 MODULO
 DIVIDE
 MULTIPLY
Added MODULO to IntegerBinaryOperation
Refactoring and adding handling for SUB
Added INT_MODULO to IntegerBinaryOp
Prepare example of simple symbolic execution
Add missing dependencies for Fedora 18
Refactoring and implementing the missing cases.
Also added BooleanBinaryOperation for comparing <bool>==<bool>, !=, !==, ===
Bug fixes, the code does now compile!
Minor changes
Minor refactoring, moving generators to JSValue. Closes #41
Merge branch 'feature-symbolic-ex' into feature-symbolic

Conflicts:
	WebKit/Source/JavaScriptCore/symbolic/expression/generator/expressions.json
	WebKit/Source/JavaScriptCore/symbolic/symbolicinterpreter.cpp
Fix errors in expressions.json after my merge of feature-symbolic-ex
Merge branch 'master' into feature-symbolic
Improve instructions for installing prettyproxy dependencies
Note missing support for SSL connections in prettify proxy
Set proper content-length