cpp: model Timestamp: Use char_traits<> for end of file
Merge pull request #738 from rleigh-dundee/cpp-eof

cpp: model Timestamp: Use char_traits<> for end of file