bug in SynchTable class

[Eric Tucker]

It has been called to our attention that the provided SynchTable class
(in the collection directory) is buggy. It looks like someone changed the
interface to the HashTable and forgot to change the SynchTable to match, so
as a result the SynchTable is passing its destructor function on to the
hash table disguised as a "comparator function", and trying to use ints,
rather than void *'s, as keys.

None of the provided code uses SynchTable, so if you're not using it either,
you can just ignore this post. You don't *need* to use SynchTable at all
for this assignment... it's just there if you want it.

However, if you are using it, you should recopy the new and improved
synchtable.* from the code base directory.

Eric