New concolic mode examples.

Currently the only one which can be completely solved is trivial-int.html.