Update INSTALL for Fedora
Merge branch 'feature-path-exploration' of github.com:cs-au-dk/Artemis into feature-path-exploration
Upstream GCC 4.8 compilation fix

See upstream r147640[1]

[1] http://trac.webkit.org/changeset/147640/trunk/Source/JavaScriptCore/runtime/Executable.cpp
Fix compiler errors for GCC 2.8

Related to #71
Initial commit of ArtForm mode (currently empty)
Move concolic tests to system test harness
Add support for form inputs using name in concolic mode.

References #70
Filter out "Other" navigational requests since we suspect these to be non-navigational in practice.

Fixes #73
CLEANUP: Change memory model for DomElementDescriptor
Some more entry point refinements.
Merge branch 'feature-path-exploration' into feature-concolic-real-sites
New simplified trace display mode reduces the size of large graphs.
Merge branch 'feature-path-exploration' into feature-concolic-real-sites
More hard-coded entry points.