[DynareDev] setting seed in Dynare