document new -writeconfig option for condor_config_val #3894