Updated evaluate (keep rather than delete files; don't generate .dot/.pdf by default); symbol counts added to sumDiff.py