Add option to set the random seed via seed_override

[chriscoxe]

Add an option to set the random seed.

Background: From BWAPI version 4.0.1 Beta onwards, there is a seed_override option in bwapi.ini that allows users to fix the random seed at the start of a game (including multi-player). Here's the corresponding comments about this option in the default bwapi.ini (pasted from BWAPI 4.2.0):

; Random seed override. This uses a fixed seed at the start of the game so that if played out the exact same way,
; the same occurrences will happen every time. This value must be a decimal integer.
;
; When this key is commented out, Starcraft will use the system time as a seed. This is the default behaviour.
;
; Note: This option affects both single AND multi-player modes (for game hosts only). This means that hosting a multi-player
; game with this option enabled will distribute this fixed seed to all other players in the game.
;seed_override = 123456789

I'm creating this issue on behalf of @davechurchill who requested on Facebook that I create this issue. I don't plan to use this option personally, but others might find it useful.

[davechurchill]

Low priority, but can be included with the next update @richard-kelly

[davechurchill]

@richard-kelly has this been implemented? just trying to close issues