#111 Terminator never uses UID server

[Sergey Koren]

The terminator module always relies on an internal UID server rather than using a global server (even if one is enabled). The terminator records the maximum UID value seen after processing the library and AFG messages (which come from the frg file). This value initializes the UID server to default to the internal UID implementation starting at the maximum UID+1.

[Jason Miller]

If this feature has been missing for a long time and no one complained, then Is it time to disable the UID server functionality?

[Brian Walenz]

Two flaws: (1) runCA was completely ignoring the fakeUIDs switch, which should have told terminator to use the UID server, except that (2) terminator was also ignoring the switch, and due to a bug would default to fakeUIDs.