An online manager for the board game Diplomacy