[DynareDev] [Trac] #269: add dynare_version() to the manual