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