add IntIntHashTable.toKeyVector()
minor