Prepare example of simple symbolic execution
Add missing dependencies for Fedora 18
Merge branch 'feature-symbolic-ex' into feature-symbolic

Conflicts:
	WebKit/Source/JavaScriptCore/symbolic/expression/generator/expressions.json
	WebKit/Source/JavaScriptCore/symbolic/symbolicinterpreter.cpp