changing random file name
Rename random.py to random-dirver.py
rtp-admin: Add server address argument

Previously the server address was hard-coded in rtp-admin. To control
remote server, rtp-admin tool had to be modified. Now the server address
is specified in the command line:

    rtp-admin server-address verb [verb-options]
client: Disable noisy logs

We do not log now update from the server. Driver modules can add logs as
needed.
client: Fail loudly on driver errors

Previously we use to print a traceback for driver error and continue.
Students found this hard to detect and handle errors. Now we fail loudly
when drive function raise an exception.
client: Exit after server error

If server return an error response, exit the client instead of trying to
reconnecting. Usually these errors means client sent a bad request.
player: Add player life attribute

Add a life attribute to the player, counting the number of picked
penguins. This number can be used for scoring drivers which are in the
same position when the game ends.
player: Implement sorting

Players can be sorted now by speed (lower is better) and life (higher is
better).
server: Print stats when game is stopped
Merge pull request #85 from nirs/server-address

rtp-admin: Add server address argument
Merge pull request #86 from nirs/logging

client: Disable noisy logs
Merge pull request #87 from nirs/driver-error

client: Fail loudly on driver errors
Merge pull request #88 from nirs/client-error

client: Exit after server error
Merge pull request #89 from nirs/player-stats

Player stats