Added parameters to allow wavsep port setting. Restored defaults.
Directing wavsep process outputs to pico-wavsep.log and pico-wavsep_err.log, in order to make this less chatty.
Added default values to help text.