Texas Hold'em as played by bots written in JS