First commit for upgrade version of WebKit (to rev. 116000)
2nd commit for upgrade of WebKit version
Merge branch 'master' of https://github.com/cs-au-dk/Artemis

Conflicts:
	WebKit/Source/JavaScriptCore/runtime/JSString.h
	WebKit/Source/JavaScriptCore/wtf/Compiler.h
	WebKit/Source/WebCore/bindings/scripts/CodeGeneratorJS.pm
Made sure that the value of input elements are marked as symbolic