Fixed a bug in the trace classifier caused by trivial single-node traces.
Added some comments explaining about Issue #90
Added maual (XPath) entry-point selection to the concolic mode.