make output of timestamp optional
Merge branch 'master' into make_timestamp_optional
add section to NEWS
Merge pull request #80 from yihui/make_timestamp_optional

Make output of timestamp optional