Add script to set new version.
Update README for the new multi-server behavior.
Fix arch error in upload script.
Seed random number generator for client.
Use smaller probability to retry failed server.
Merge branch 'develop'