Added an initial version of functionality to print a ResultDB to file. Feedback is welcome.