Add random seed command line argument (default to 0)