Kompile - fixing issue #17 - improved the visitor that updates the
infered data for variables.
Kompile - progress on concrete type inference for variables.
fix intermittent bug in test
Move ktest into KTool. Use the command line parser for ktest.
Remove remove forgotten debug messages.
Ignore some generated files in parsers.

Note there are some other files named *.generated.* inside the parsers which
are actually checked in.

Deleting them didn't break ant build, but this commit leaves them alone.
Fix generics warning.

In Automata.java, static methods cannot use type parameters of
a generic class.

In JavaSymbolicKRun.java a raw Cell was allocated in the wrap method which seems
not to actually be called anywhere, so I just made it Cell<Term>.
If necessary, could get fancier like

    public static <T extends Term> Cell<T> wrap(T t, String label) {
        Cell<T> cell = new Cell<T>(label,t);
        System.out.println("Content Kind: "+t.kind());
        return cell;
    }
Work on pdmc.
Revert "Kompile - progress on concrete type inference for variables."

This reverts commit 5613cbc7e74343df8ee1b98353554b0c41b811f5.
Revert "Kompile - fixing issue #17 - improved the visitor that updates the"

This reverts commit ef7eebe3acc1ba05c629269b9ba5d2ada90433c0.
Revert "Revert "Kompile - fixing issue #17 - improved the visitor that updates the""

This reverts commit 13ca19671a728255d394cb06d741890b83ce42d4.