long names in flattened model

[stanleybak]

When flattening and merging with a single-mode automaton, it shouldn't be necessary to add its name to the resultant mode. This will result in shorter names:

The general logic for chosing a name (in mergeLocations() of FlattenAutomatonPass.java) should be:

if (right.modes.size() == 1)
    combinedName = locI.name;
else if (left.modes.size() == 1)
    combinedName = locJ.name;
else
    combinedName = locI.name + SEPARATOR + locJ.name;

The transitions and initial / forbidden states should also be adjusted, and likely unit tests will need to be updated to expect this.