Update server.ml : webpage displays the number of connected players (for now, F5 is needed to refresh)