Change generated challenge file nonces

[remexre]

Instead of two arguments, we should get a single opaque 512-char-long hex string (i.e. 256 bits) as argv[1], which depends on both the problem and the team ID.

[mzhang28]

64 chars*

[mzhang28]

putting this off till future