An Overview of NECI's Generic Game Server