Added PC method to list the free variables.
Search procedure now returns a PathConditionPtr, as required by Solver::solve().
artemiskaluza.sh giving incorrect return codes.
Fix bug printing integer values in symbolic expressions.
Concolic mode can now read results from solutions.

However, due to issue #65 the kaluza-result file has the lines truncated, so the solution values retrieved are all one character too short. e.g. I get "SYM_IN_testinput = 123" instead of 1234.

To test this version, run `artemis --major-mode concolic -v all http://localhost:8000/simple-validation-3.html`.