java-precisely: Added support for string methods equals(), toString() and compareTo(), used by Java Precisely examples. Now the only examples that do not work rely on stdin read.