Fix injection of the empty string in concolic mode.

Fixes #86 and contributes to #96.

This also stops us from injecting the string literal "" (two double quotes) unless we come up with some more sophisticated escaping scheme for the solver script.