Random seed as an option

This allows the same battle to be run repeatedly with the same outcome by passing the random number seed as an option:

    rtanque start bots/my_bot bots/camper --seed 123456789

If the option is not passed, it's random like always, and prints out the seed used so that you can replay a battle as you please.