Implement clock option of set_dynare_seed

Also improve documentation of set_dynare_seed.

Closes #362