An HTML5 version of the game Core War