command-line arguments for script and randseed. Fixes #6 and fixes #7