Add support for printf with new tester.

Use std::ostream& for print()/dat_prints() (instead of FILE*), and
replace dat_fprintf() with dat_prints().
call print() in clock() (at the same point as dump()).
After step() check for print() output and construct a "PRINT" command
for the Tester communications channel.
Add std::basic_ostringstream< char > printStream (and copy
constructor, has_output() and drain_output(void) to the mod_t class.
Update expected .{h,cpp} files.
Check for missing resource for assertFile().
Compare actual and expected results in VerifSuite.
Convert to canonical initialization order and add missing element to copy constructure.
Merge pull request #299 from ucb-bar/printfcpp

 Add support for printf() with new tester.