GRBEnv.writeParams()

Write all non-default parameter settings to a file.

void writeParams ( String paramfile )