WFA::intersect refactoring: extract method for most of worklist handling
WFA::intersect: refactoring extract method to add a state if necessary
WFA::intersect_worklist: rework epsilon transition handling

Now instead of taking the epsilon closure, the intersected automaton will have epsilon transitions to possible configurations.
WFA::intersect: properly track accepting weights
WFA::intersect: don't do epsilon closure at the beginning now either

The previous changes subsume the nonsense I used to do.
Merge branch 'temp' of ../../../wali-master into pcca-nonsense

Conflicts:
	Source/wali/wfa/WFA.cpp
New domain: RepresentativeString

This is a little like the min/plus shortest distance semiring, except elements are strings instead of numbers, min is length-lexicographic, and plus is concat.
Added more RepresentativeString tests and minor change to hash()
WFA: refactor to remove unused parameter to function
WFA::intersect_worklist: change to use WeightMaker::make_weight(ITrans,ITrans)

WeightMaker has two overloads of make_weight: one that takes a pair of weights and one that takes a pair of transition pointers. When I was taking eclose as I went along, I couldn't use the trans/trans version because what I was calling it on corresponded to paths, not to transitions. However, when changing intersect_worklist to do the modified intersection that keeps epsilon transitions, we can go back to it. And now I need it, because I want the symbol on the edge to make part of the weight.
Merge branch 'temp' of ../../../wali-master into pcca-nonsense
Introduce new IBiDomain superclass
Comment out a bunch of debugging output
TSSE: Fix dumbest bug ever
Include states reachable with zero weight in the eclose, for some reason
Buncha junk -- debugging output but also reworking for new technique.
Revising XFA containment check.
XFA RelationMaker: new factory functions for creating checking weights