Allow leaderboard_server.py script to act from the command line.

This allow to list the board and to remove some username.