added ChangeLog and NEWS entries for #157
Merge pull request #158 from romainfrancois/master

more on Timer.
manual merge after #158

simple update to inst/NEWS.Rd
updated generated header after applying fix to generator